A toy language for playing around with macros and generic constructors in a dependently-typed setting.
Distinctly not finished.
Usage: dt FILE [-P|--parse-only] [-T|--typecheck-only] [-E|--as-expression]
The dt interpreter
Available options:
-h,--help Show this help text
-P,--parse-only Just parse file and report errors
-T,--typecheck-only Just parse file and report errors
-E,--as-expression Evaluate file as single expression