]> Git — Sourcephile - haskell/symantic.git/commit
Clarification : eqKi -> eqKind.
authorJulien Moutinho <julm+symantic@autogeree.net>
Thu, 15 Jun 2017 23:59:51 +0000 (01:59 +0200)
committerJulien Moutinho <julm+symantic@autogeree.net>
Thu, 15 Jun 2017 23:59:51 +0000 (01:59 +0200)
commit224706629381a0763f58a87ef8fcb46352ca6e6d
tree5322879121824e30844b30cbf8d7e53b7cc21177
parent8a33df9233dd00492d74fdccbfe9c319fde389bd
Clarification : eqKi -> eqKind.
symantic/Language/Symantic/Typing/Kind.hs
symantic/Language/Symantic/Typing/Type.hs
symantic/Language/Symantic/Typing/Unify.hs