| Mode | Name | Size | |
|---|---|---|---|
| d--------- | bin | 38 | logplain |
| -rw-r--r-- | examples.gpr | 0 | logplain |
| -rw-r--r-- | kompsos.gpr | 413 | logplain |
| d--------- | lib | 38 | logplain |
| -rw-r--r-- | license.txt | 854 | logplain |
| d--------- | obj | 38 | logplain |
| d--------- | proj | 38 | logplain |
| d--------- | src | 276 | logplain |
| d--------- | test | 150 | logplain |
| -rw-r--r-- | tests.gpr | 908 | logplain |
 |
index : kompsos | |
| Experimental miniKanren implementation | Jed Barber |
| summaryrefslogtreecommitdiff |