Research is getting all stuck again. Have to decide whether to let types sneak their way into the definition of strictness.
Research is getting all stuck again. Have to decide whether to let types sneak their way into the definition of strictness.
-
(no subject)
It happened once that I put my laundry in the washing machine, and forgot about it and left it for a quite while unattended. This inconvenienced my…
-
(no subject)
So I am intrigued by the notion of pick-up laundry service. Anyone around the city do this on a regular basis? Think it's worth it? What is the…
-
(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
- 1 comment
- Post a new comment
- 1 comment
