search

OCamlPro / alt-ergo

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

Documentation of quantified type in `Expr` #1106

Closed Halbaroth closed 2 months ago

Halbaroth commented 2 months ago

While fixing the issue #1099, I wrote a bit of documentation for Expr.