Published: Sep 13, 2018 by community

tags: 聚會手記 —

2018-09-13 聚會手記

筆記 Note

PeterCommand

喜歡數學、程式語言

• Idris - A Language with Dependent Types https://www.idris-lang.org/

• Homotopy Type Theory https://homotopytypetheory.org/book/

Qerter

• subfont https://www.npmjs.com/package/subfont
• Typekit https://typekit.com/