-
(no subject)
Playing around with the agda javascript backend, now. Like, my ears are popping from the sudden change of type-theory-pressure.
-
(no subject)
Trying to understand in general what kind of diagrammatic interactions between degree-three nodes actually read sensibly in the lambda calculus:
-
(no subject)
Not sure this is the simplest possible inverse (or even that it is correct) but it makes for a fun diagram:
- Post a new comment
- 1 comment
- Post a new comment
- 1 comment