search

rems-project / lem

Lem semantic definition language
Other
130 stars 15 forks source link

Needs num in recent OCaml version #5

Closed zapashcanon closed 2 years ago

zapashcanon commented 6 years ago

Hi,

Now that Big_int is not in the std lib anymore, the num library is needed to compile lem.

It should be mentioned in the docs, but I'm not sure of all the places it should be updated (website etc.).

Another solution would be to switch to Zarith everywhere.