miniKanren

lp://staging/~dantastic/minikanren/mK-lib

Created by Ramana Kumar on 2008-06-24 and last modified on 2008-07-03

Get this branch:: bzr branch lp://staging/~dantastic/minikanren/mK-lib

Members of Dan-Tastic! can upload to this branch. Log in for directions.

Branch merges

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: Dan-Tastic!

Project:: miniKanren

Status:: Development

Recent revisions

15. By dfried <email address hidden> on 2008-07-03: working mKv tests
14. By dfried <email address hidden> on 2008-07-03: promote better...
13. By dfried <email address hidden> on 2008-07-03: mKv still doesn't work
12. By dfried <email address hidden> on 2008-07-03: pmatchified code
11. By Ramana Kumar on 2008-07-03: more abstraction
10. By Ramana Kumar on 2008-07-02: closer to paper version...
9. By Ramana Kumar on 2008-07-01: new locking scheme. no generalized car
8. By Ramana Kumar on 2008-06-29: cleanup and pcons tests
7. By Ramana Kumar on 2008-06-27: dan's new tests of ferns
6. By Ramana Kumar on 2008-06-26: engines 66

»

Branch metadata

Branch format:: Branch format 6

Repository format:: Bazaar pack repository format 1 (needs bzr 0.92)

This branch contains Public information

Everyone can see this information.

Subscribers

No subscribers.