alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard
verified publisher icon OCamlPro

Remove the Typed module

Open Halbaroth opened this issue 1 year ago • 0 comments

This PR removes the output AST of the legacy typechecker. This AST was still used by the compilation of match expressions in Expr.

Halbaroth avatar Oct 09 '24 16:10 Halbaroth