Emonshr opened this issue 5 years ago · 2 comments
Can you please add some installation instruction for linux? It will be a pleasure.
I will add efuns soon to OPAM so it should be as easy as opam install efuns!
Thank you.