Geeks
tapeinosyne
/
idris-microKanren
μKanren in Idris
Primary Language
Idris
idris-microKanren GitHub
Markdown
Readme
0
Issues
4
Stargazers
1
Watcher
Watchers
jhcloos