Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .dir-locals.el | 2024 | logplain |
-rw-r--r-- | .gitignore | 239 | logplain |
-rw-r--r-- | COPYING | 11358 | logplain |
-rw-r--r-- | Makefile.am | 6192 | logplain |
-rw-r--r-- | README | 1515 | logplain |
-rw-r--r-- | TODO.org | 9877 | logplain |
-rwxr-xr-x | bootstrap | 28 | logplain |
-rw-r--r-- | chickadee.scm | 18143 | logplain |
d--------- | chickadee | 728 | logplain |
-rw-r--r-- | configure.ac | 3113 | logplain |
d--------- | data | 149 | logplain |
d--------- | doc | 201 | logplain |
d--------- | examples | 600 | logplain |
-rw-r--r-- | guix.scm | 3713 | logplain |
-rw-r--r-- | infer.scm | 13886 | logplain |
-rw-r--r-- | infer2.scm | 12084 | logplain |
-rw-r--r-- | pre-inst-env.in | 1135 | logplain |
-rwxr-xr-x | run-example | 52 | logplain |
d--------- | scripts | 40 | logplain |
-rw-r--r-- | test-env.in | 59 | logplain |
d--------- | tests | 379 | logplain |