A step-by-step MicroKanren evaluator
Home Page:http://functorial.com/mu-kanren
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
paf31 opened this issue 10 years ago · comments