These are chat archives for got-lambda/expression

Jun 2016
Jun 20 2016 19:08
I'll most certainly be there.
Erik Svedäng
Jun 20 2016 20:18
Jun 20 2016 21:18
For a future Book Club meeting, who's interested in Logically Qualified Data Types (Liquid Types)? There's an 11 page paper where it is introduced that could be a candidate. A cursory glance tells me it is a bit less accessable than the muKanren paper to a layperson such as myself. I think the muKanren meetup was very constructive, so even though the paper does look a bit on the hard side, we'll probably grok enough of it to make it interesting and worthwhile.