git.iko.soy/rel8
on 5824baa help sign in
rel8/src/Rel8/Generic/Construction
2 files
../ ADT.hsAdd build{ADT,HKD} alternative to church encoded construct{ADT,HKD} Record.hsAdd build{ADT,HKD} alternative to church encoded construct{ADT,HKD}