You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Here is an example merlin file, with useful comments:
# where are .ml and .mli files
S libs
S main
S frontend
# where are .cmi and .cmt files
B libs
B main
B frontend
# dependencies (libraries)
PKG zarith dolog
this was suggested by Jerome Maloberti in an e-mail
The text was updated successfully, but these errors were encountered: