lp:~jnear-csail/minikanren/alphaleanTAP

Created by Joseph Near on 2008-09-11 and last modified on 2008-11-02
Get this branch:
bzr branch lp:~jnear-csail/minikanren/alphaleanTAP
Only Joseph Near can upload to this branch. If you are Joseph Near please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Joseph Near
Project:
miniKanren
Status:
Mature

Recent revisions

6. By Joseph Near on 2008-11-02

updated test file to import alphaKanren

5. By Joseph Near on 2008-09-11

added README

4. By Joseph Near on 2008-09-11

removed some extra test stuff

3. By Joseph Near on 2008-09-11

added mKleanTAP

2. By Joseph Near on 2008-09-11

added alphaleanTAP

1. By Joseph Near on 2008-09-11

added alphaleantapG for Prolog

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