Skip to content

Latest commit

 

History

History
19 lines (14 loc) · 503 Bytes

README.md

File metadata and controls

19 lines (14 loc) · 503 Bytes
Raw

lev

A toy language for playing around with macros and generic constructors in a dependently-typed setting.

Distinctly not finished.

Usage

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