-
(no subject)
I don't really play chess, but I found this tutorial funny: What will bring you immense pleasure, whether or not you know much about openings, is…
-
(no subject)
Another very math-ful day. Reading more of Proofs and Types, talking to
neelk about various things including semantics of BI, talking to…
-
(no subject)
A paper on describing circuits in an agda DSL: http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf
- Post a new comment
- 0 comments
- Post a new comment
- 0 comments