on 482b7ea help sign in
all commits
9069fcaGeneralize equality. Equality is now derived for all values (in the spirit of OCaml). Also bump version numbers.evancz f2e8703* restructuring, part #1Vincent Ambo