| 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 | 290 | logplain |
| d--------- | test | 226 | logplain |
| -rw-r--r-- | tests.gpr | 1058 | logplain |
 |
index : kompsos | |
| Experimental miniKanren implementation | Jed Barber |
| summaryrefslogtreecommitdiff |