[Chicken-users] New Egg: miniKanren

2016-02-16 Thread Jeremy Steward
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Hello all, Hope you all find yourselves well. I am sending this today to announce the 1.0 release of the latest miniKanren implementation. There's a bit of history here, so I'll try to summarize. However, if you're interested in seeing the

[Chicken-users] [TFPIE 2016] 1st call for papers

2016-02-16 Thread Peter Achten
Trends in Functional Programming in Education (TFPIE 2016) Call for papers https://wiki.science.ru.nl/tfpie/TFPIE2016 The 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016, will be held on June 7, 2016 at the