| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | houses-mk.sh | 96 | logplain |
| -rwxr-xr-x | houses-uk.sh | 96 | logplain |
| -rw-r--r-- | houses.scm | 2317 | logplain |
| -rwxr-xr-x | logo-mk.sh | 92 | logplain |
| -rwxr-xr-x | logo-uk.sh | 92 | logplain |
| -rw-r--r-- | logo.scm | 1136 | logplain |
| -rw-r--r-- | mk.scm | 5715 | logplain |
| -rw-r--r-- | mkdefs.scm | 11584 | logplain |
| -rwxr-xr-x | refresh.sh | 281 | logplain |
| -rw-r--r-- | uk.scm | 3387 | logplain |
| -rwxr-xr-x | zebra-mk.sh | 94 | logplain |
| -rwxr-xr-x | zebra-uk.sh | 94 | logplain |
| -rw-r--r-- | zebra.scm | 1551 | logplain |
 |
index : kompsos | |
| Experimental miniKanren implementation | Jed Barber |
| aboutsummaryrefslogtreecommitdiff |