# Info about the project This work has been done for the course Frontiers of Programming Languages during the month of September in 2010. It presents a novel way of doing optimizations in the style of equality saturation. This explores the space of equivalent terms to and the best i.e. the optimized term. In d to other approaches all terms will be saved and can be used to and new equivalent terms. # How to build Make sure you have Haskell version 6.12 or newer. Run the following commands > cabal configure > cabal build # How to use To try an example program to optimize first build the project and then run > ./dist/build/PureEqSat/PureEqSat -f examples/ex1.pes To see the various flags PureEqSat accepts run the program with --help WORD OF CAUTION: ex6.pes and ex7.pes are examples where the rule engine don't cut it. Waiting for the results can lead to the end of the universe...