A step-by-step MicroKanren evaluator
Home Page:http://functorial.com/mu-kanren
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool