on 7a526b6 help sign in
2 files
../ ConstrainDBType.hsTeach Table and friends about Sum types ConstrainType.hsSimplify Spec to just labels, necessity and type