Skip to content

bagl/pv-uKanren

Folders and files

NameName
Last commit message
Last commit date

Latest commit

461f73b · Jul 19, 2015

History

10 Commits
Jul 19, 2015
Jul 18, 2015
Jul 18, 2015
Jul 18, 2015
Jul 18, 2015
Jul 19, 2015

Repository files navigation

pv-uKanren

μKanren implementation in Haskell based on this paper.

About

μKanren implementation in Haskell

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published