miniKanren

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

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

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

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

29. By Ramana Kumar on 2008-06-24: single directory for mK
28. By Ramana Kumar on 2008-06-23: removed mirror, renamed tests
27. By Ramana Kumar on 2008-06-23: passing tests with frons
26. By Ramana Kumar on 2008-06-23: non-working but with frons and better engines
25. By Ramana Kumar on 2008-06-15: must still occurs check
24. By Ramana Kumar on 2008-06-15: optimized walk bug?
23. By Ramana Kumar on 2008-06-10: library names/structure
22. By Ramana Kumar on 2008-06-10: never constraints
21. By Ramana Kumar on 2008-06-07: always constraints
20. By Ramana Kumar on 2008-06-07: first attempt at tabling

»

This branch contains Public information

Everyone can see this information.

Subscribers

No subscribers.