ds-kanren: A subset of the miniKanren language

[ language, library, mit ] [ Propose Tags ]

ds-kanren is an implementation of the miniKanren language.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.2.0.0, 0.2.0.1
Dependencies base (>=4 && <5), 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 2014-10-09T04:36:12Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1837 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]