git.iko.soy/rel8
on 4017859 help sign in
rel8/src
1 folder, 1 file
../ Rel8/Add build{ADT,HKD} alternative to church encoded construct{ADT,HKD} Rel8.hsAdd build{ADT,HKD} alternative to church encoded construct{ADT,HKD}