miniKanren

lp:~jnear-csail/minikanren/alphaleanTAP

Created by Joseph Near and last modified
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

updated test file to import alphaKanren

5. By Joseph Near

added README

4. By Joseph Near

removed some extra test stuff

3. By Joseph Near

added mKleanTAP

2. By Joseph Near

added alphaleanTAP

1. By Joseph Near

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