Add first scratch of translation from GHC core
Fix unequality constraint bug
Add a failed attempt at let-lifting
Localise names to make output readable
Disambiguate desugared names, and clashingly write constructors lowercase
Update to 7.4
Add .gitignore
Add some kind of makefile
Add some tests
Change gitignore and name on cabal file
Add failed attempt to rewrite translation
Resolve conflict
Add first go at rewrite: inline cases
Don't fiddle with substitutions too early
Add a test about casing on CAFs
Add new algorithm to keep track of quantified variables
Add old tests of hip's translation; names are not very descriptive
Support polymorphic functions
Update tests
Add debug output, and crash when translating a late case expression