🎲
More is different.
-
IDEA
- Complex Manifold
-
05:34
(UTC +08:00) - caimeo.online
- https://sr.ht/~caimeo
- https://www.codewars.com/users/CAIMEO
Highlights
Stars
Theory
ITP / Type Theory / Math
4 repositories
yacctt: Yet Another Cartesian Cubical Type Theory
Demo for high-performance type theory elaboration
A book series on JavaScript. @YDKJS on twitter.