]> Git — Sourcephile - haskell/symantic.git/commit
Fix Inj_ConstP -> Inj_TyConstP.
authorJulien Moutinho <julm+symantic@autogeree.net>
Wed, 8 Mar 2017 04:23:17 +0000 (05:23 +0100)
committerJulien Moutinho <julm+symantic@autogeree.net>
Fri, 10 Mar 2017 00:28:11 +0000 (01:28 +0100)
commit3eb7631d17a17dc70ae677bbeb5009340d7e77fc
tree7728ab99c33f93db008de13a2349d3f9d1c40e73
parent54d96e4fc861c99808e1833006c43852a080c17f
Fix Inj_ConstP -> Inj_TyConstP.
symantic-lib/Language/Symantic/Compiling/Term/Test.hs
symantic/Language/Symantic/Typing/Constant.hs