git.iko.soy/rel8
on bdb75e6 help sign in
rel8/src/Rel8/Generic/Rel8able
1 file
../ Test.hsAdd build{ADT,HKD} alternative to church encoded construct{ADT,HKD}