on ff98144 help sign in
all commits
2b577feRemove surface syntax for multiway ifEvan Czaplicki c5efca9Merge branch 'simpler-records'Evan Czaplicki 2cd0692Fill in new case for Homejmite 62576b8Move Generate.{Cases,Substitute} into Optimize/Evan Czaplicki