Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Unwrapped this library was a big mistake, mea maxima culpa. When I added this prelude, I did know how to use `-open` with a wrapped library. I couldn't compile smtml with `alt-ergo-lib` because the library of smtml depends on a module Prelude from another library.
- Loading branch information