2018-09-13 聚會手記

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/