Once, when I was a little kid, I drew a picture of a giraffe on Adobe Illustrator 88, and tried to print 2 copies, but I forgot to delete the 1 in the dialog box and printed 12 instead! My dad (at whose office all this took place) was rather cross at me for wasting paper.
Once, when I was a little kid, I drew a picture of a giraffe on Adobe Illustrator 88, and tried to print 2 copies, but I forgot to delete the 1 in the dialog box and printed 12 instead! My dad (at whose office all this took place) was rather cross at me for wasting paper.
-
(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
- 5 comments
- Post a new comment
- 5 comments
