These are chat archives for got-lambda/expression

20th
Jun 2016
jensli
@jensli
Jun 20 2016 19:08
I'll most certainly be there.
Erik Svedäng
@eriksvedang
Jun 20 2016 20:18
Awesome
jolod
@jolod
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.