ds-kanren: A subset of the miniKanren language

[ language, library, mit ] [ Propose Tags ]

ds-kanren is an implementation of the miniKanren language.

Dependencies base (==4.*), containers (>=0.4), logict [details]
License MIT
Author Danny Gratzer
Maintainer jozefg@cmu.edu
Category Language
Source repo head: hg clone http://bitbucket.org/jozefg/ds-kanren
Uploaded by jozefg at Thu Oct 9 04:36:12 UTC 2014
Distributions NixOS:
Downloads 901 total (14 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees