on ae4a786 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