]> Git — Sourcephile - haskell/symantic.git/commit
Simplify the Constraint projection
authorJulien Moutinho <julm+symantic@autogeree.net>
Thu, 24 Nov 2016 19:04:08 +0000 (20:04 +0100)
committerJulien Moutinho <julm+symantic@autogeree.net>
Fri, 25 Nov 2016 02:29:20 +0000 (03:29 +0100)
commitaa554d420418a74fbab53f98b08ab5b6f49601d1
tree0f1b308e4289fb79d523498d38f2ecbd7ae13447
parent87b7beca0f0fe347fa32c2cdc61bcaa1e334a421
Simplify the Constraint projection
Language/Symantic/Typing/Constant.hs
Language/Symantic/Typing/Constraint.hs
Language/Symantic/Typing/Kind.hs
Language/Symantic/Typing/Syntax.hs
Language/Symantic/Typing/Test.hs
Language/Symantic/Typing/Type.hs