git.iko.soy/rel8
on 4caf38d help sign in
rel8/src/Rel8/Kind
4 files
../ Algebra.hsTeach Table and friends about Sum types Context.hsAdd reify and unreify to Table class Labels.hsSimplify Labels Necessity.hsThe beginning of rel8 1.0