The talks this morning were kind of bleah, but I met Dale Miller of Lλ fame and talked unification with him and carsten for a while. Carsten also mentioned something about how Frank and he were trying to rethink block variables and signatures themselves in terms of sigma types. I'd like to see how that plays out.
The talks this morning were kind of bleah, but I met Dale Miller of Lλ fame and talked unification with him and carsten for a while. Carsten also mentioned something about how Frank and he were trying to rethink block variables and signatures themselves in terms of sigma types. I'd like to see how that plays out.
-
(no subject)
A paper on describing circuits in an agda DSL: http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf
-
(no subject)
Going more carefully now through this little tutorial on fpga programming with the iCEstick. It's in spanish, which makes it slightly more…
-
(no subject)
Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…
- Post a new comment
- 0 comments
- Post a new comment
- 0 comments