| Mode | Name | Size | |
|---|---|---|---|
| d--------- | bin | 38 | logplain |
| d--------- | example | 75 | logplain |
| -rw-r--r-- | examples.gpr | 751 | 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 |
| -rw-r--r-- | readme.md | 4183 | logplain |
| d--------- | src | 476 | logplain |
| d--------- | test | 487 | logplain |
| -rw-r--r-- | tests.gpr | 1573 | logplain |
 |
index : kompsos | |
| Experimental miniKanren implementation | Jed Barber |
| aboutsummaryrefslogtreecommitdiff |