on 710484e help sign in
elk/elm/src/Types
4 files
../ Constrain.hs* restructuring, part #1 Hints.hsGeneralize equality. Equality is now derived for all values (in the spirit of OCaml). Also bump version numbers. Types.hs* restructuring, part #1 Unify.hs* restructuring, part #1