lc-tc-interp
OCaml
★ 0
updated 13y ago
Example typechecker and interpreter for the lambda calculus extended with numeric operations.
No plain-English explanation yet — one is being written right now. Check back in a minute.