Loading ...
Sorry, an error occurred while loading the content.

Topics List

My utop disappeared!

If you run just "opam config env" you will see that it generates a bunch of shell variable redefinitions that "eval" then applies to your shell -- it is not
Gabriel Scherer
May 31
View First Topic Go to View Last Topic