search

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
132 stars 33 forks source link

Remove useless errors #1261

Closed Halbaroth closed 1 month ago

Halbaroth commented 1 month ago

Most of these errors were used by the legacy typechecker and are not relevant anymore.