git.iko.soy/rel8
on bdb75e6 help sign in
rel8/src/Rel8/Generic/Construction
2 files
../ ADT.hs"Corep" is wrong. "Representable" is what I wanted. Record.hs"Corep" is wrong. "Representable" is what I wanted.