on fb4e1a5 help sign in
2 files
../ ConstrainDBType.hsFill in missing EqTable and OrdTable instances ConstrainType.hsSimplify Spec to just labels, necessity and type