Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

Bibi Binary Notation
en.wikipedia.orgยท15hยท
Discuss: Hacker News
"Not created by man"
languagelog.ldc.upenn.eduยท1d