“Dan-Tastic!” team

branches with status:
Name Status Last Modified Last Commit
lp:~dantastic/minikanren/mK-lib 1 Development 2008-07-03 23:11:08 UTC
15. working mKv tests

Author: dfried
Revision Date: 2008-07-03 23:10:42 UTC

working mKv tests
lp:~dantastic/minikanren/mK-lib.dev 1 Development 2008-06-24 21:11:10 UTC
4. broke the fairness

Author: Joe Near
Revision Date: 2008-06-24 21:10:22 UTC

broke the fairness
lp:~dantastic/minikanren/mK 1 Development 2008-06-24 02:56:25 UTC
29. single directory for mK

Author: Ramana Kumar
Revision Date: 2008-06-24 02:55:08 UTC

single directory for mK
lp:~dantastic/minikanren/ferns 1 Development 2008-06-23 20:45:20 UTC
26. speeding up new-engines

Author: <email address hidden>
Revision Date: 2008-06-23 20:42:25 UTC

speeding up new-engines
lp:~dantastic/minikanren/mkfrons 1 Development 2008-06-23 19:48:16 UTC
27. added conda and condu, all tests pass

Author: Joe Near
Revision Date: 2008-06-23 19:47:38 UTC

added conda and condu, all tests pass
1 → 5 of 5 results First • Previous • Next • Last