git.iko.soy/rel8
on 760dcd8 help sign in
rel8/src/Rel8/Kind
3 files
../ Algebra.hsTeach Table and friends about Sum types Context.hsGet rid of defaulting and insert context altogether Labels.hsSimplify Labels