- wrote a function in SimpleFormulaChecker.hs that can be used to evaluate (for now just preconditions) in java files;
- wrote some (for now) very basic tests for LExpr eval;
- worked on QuickCheck.hs, but I have some ideas (mainly regarding arrays) that I need to discuss before I proceed;
- added extra parentheses in Pretty.hs to make debugging the AST easier.

LogicIR parser.

See merge request !2

* LogicIR EDSL.
* Minimized LogicIR.
* General styling fixes.
* Supressed output in tests.
* Single-threaded test execution.

Stack setup

See merge request !1

#15

does not actually work though

closes #26

closes #21