dtlc

dependently-typed lambda calculus toy
git clone git://git.rr3.xyz/dtlc
Log | Files | Refs | README | LICENSE

ModeNameSize
-rw-r--r--.gitignore10L
-rw-r--r--LICENSE15L
-rw-r--r--Makefile42L
-rw-r--r--README9L
-rw-r--r--abstract.ml68L
-rw-r--r--builtin.ml16L
-rw-r--r--concrete.ml72L
-rw-r--r--ctx.ml65L
-rw-r--r--desugar.ml260L
-rw-r--r--elab.ml846L
-rw-r--r--env.ml78L
-rw-r--r--error.ml110L
-rw-r--r--eval.ml172L
-rw-r--r--examples/church.dtlc7L
-rw-r--r--examples/list.dtlc26L
-rw-r--r--examples/nat.dtlc1L
-rw-r--r--inc_array.ml22L
-rw-r--r--index.ml14L
-rw-r--r--internal.ml119L
-rw-r--r--lexer.mll125L
-rw-r--r--loc.ml40L
-rw-r--r--main.ml100L
-rw-r--r--modules.ml72L
-rw-r--r--name.ml70L
-rw-r--r--node.ml5L
-rw-r--r--parser.mly354L
-rw-r--r--plicity.ml4L
-rw-r--r--pretty.ml228L
-rw-r--r--quote.ml132L
-rw-r--r--std.ml71L
-rw-r--r--tsil.ml36L
-rw-r--r--unify.ml133L
-rw-r--r--uniq.ml92L
-rw-r--r--util.ml23L
-rw-r--r--value.ml32L