Hence, I am now in a position to get rid of the old Frege2 compiler and have a self sustained Frege3 environment. I have also successfully ported QuickCheck
- clean up the code so it has no warnings
- get rid of code that was needed to be backwards compatible with Frege2.
- write properties for Prelude functions
- make a comprehensive list of differences to Haskell, while doing this adjust Frege to be as close on Haskell as possible.
- complete documentation
- evolve library slowly