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