on 54dfb21 help sign in
all commits
c9f3911Remove a bunch of Control.Applicative imports since we're only GHC 7.10 nowEvan Czaplicki 92dc057Remove 'Crash' from AST.Expression.GeneralEvan Czaplicki b0beee4Added Facts to Canonical.DefJoeyEremondi 2b577feRemove surface syntax for multiway ifEvan Czaplicki c5efca9Merge branch 'simpler-records'Evan Czaplicki 2cd0692Fill in new case for Homejmite 7552469Generate a minimal number of closuresEvan Czaplicki 779f7aaRemove syntax for record insert and removeEvan Czaplicki 8c77cdbMove SortDefinitions into Canonicalize/Evan Czaplicki