on 707a36a help sign in
rel8/src/Rel8/Kind
2 files
../ Algebra.hsTeach Table and friends about Sum types Context.hsRemove Labelable type class; we don't really need labels at the type level anymore (#76)