| Mode | Name | Size |
| -rw-r--r-- | .gitignore | 10L |
| -rw-r--r-- | LICENSE | 15L |
| -rw-r--r-- | Makefile | 42L |
| -rw-r--r-- | README | 9L |
| -rw-r--r-- | abstract.ml | 68L |
| -rw-r--r-- | builtin.ml | 16L |
| -rw-r--r-- | concrete.ml | 72L |
| -rw-r--r-- | ctx.ml | 65L |
| -rw-r--r-- | desugar.ml | 260L |
| -rw-r--r-- | elab.ml | 846L |
| -rw-r--r-- | env.ml | 78L |
| -rw-r--r-- | error.ml | 110L |
| -rw-r--r-- | eval.ml | 172L |
| -rw-r--r-- | examples/church.dtlc | 7L |
| -rw-r--r-- | examples/list.dtlc | 26L |
| -rw-r--r-- | examples/nat.dtlc | 1L |
| -rw-r--r-- | inc_array.ml | 22L |
| -rw-r--r-- | index.ml | 14L |
| -rw-r--r-- | internal.ml | 119L |
| -rw-r--r-- | lexer.mll | 125L |
| -rw-r--r-- | loc.ml | 40L |
| -rw-r--r-- | main.ml | 100L |
| -rw-r--r-- | modules.ml | 72L |
| -rw-r--r-- | name.ml | 70L |
| -rw-r--r-- | node.ml | 5L |
| -rw-r--r-- | parser.mly | 354L |
| -rw-r--r-- | plicity.ml | 4L |
| -rw-r--r-- | pretty.ml | 228L |
| -rw-r--r-- | quote.ml | 132L |
| -rw-r--r-- | std.ml | 71L |
| -rw-r--r-- | tsil.ml | 36L |
| -rw-r--r-- | unify.ml | 133L |
| -rw-r--r-- | uniq.ml | 92L |
| -rw-r--r-- | util.ml | 23L |
| -rw-r--r-- | value.ml | 32L |
