]> Git — Sourcephile - haskell/symantic.git/commit
Use Nat, instead of convoluted type families.
authorJulien Moutinho <julm+symantic@autogeree.net>
Thu, 8 Mar 2018 02:02:49 +0000 (03:02 +0100)
committerJulien Moutinho <julm+symantic@autogeree.net>
Thu, 8 Mar 2018 02:02:49 +0000 (03:02 +0100)
commitfca05da6a4eea0bf8eb8badffd211f18235ad5f9
tree6eb6cd2a79cacbffbc89fe5e38f4e6a4c3d8d4d9
parent27b83cd64f0bb32cab5be1873d92642f6ea2ee31
Use Nat, instead of convoluted type families.
symantic-document/Language/Symantic/Document/Sym.hs
symantic-document/Language/Symantic/Document/Term.hs
symantic-document/Language/Symantic/Document/Term/Dim.hs
symantic-document/Language/Symantic/Document/Term/IO.hs
symantic-document/test/HUnit.hs