Andromeda is an experimental implementation of dependent type theory with a reflection rule.
See the official Andromeda web site for more information.
christopherastone/andromeda
A minimalist implementation of type theory, suitable for experimentation
OCamlNOASSERTION
