search

steshaw / plt

Programming Language Theory λΠ
https://steshaw.org/plt/
5.24k stars 340 forks source link

Add miniKanren #49

Closed damodharanj closed 4 years ago

damodharanj commented 4 years ago

miniKanren seems to be a primer for embedded logic programming. Please add this in Other collection. Your PLT repo is my lifetime learning list goal! Awesome work you did there!

steshaw commented 4 years ago

I put miniKanren along with The Reasoned Schemer with the other Schemer books. It's a little out of place but it's with friends :smile:.