search

OCamlPro / alt-ergo

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

Remove `Lists.is_empty` #1090

Closed Halbaroth closed 4 months ago

Halbaroth commented 4 months ago

As we use Stdcompat, we don't need to define List.is_empty in Lists anymore.