on bb7eb96 help sign in
all commits
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