]> Git — Sourcephile - haskell/symantic.git/commit
sourcephile / git / haskell / symantic.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 511505f) | patch
Use GHC-8.0.1's TypeInType to handle kinds better, and migrate Compiling.
authorJulien Moutinho <julm+symantic@autogeree.net>
Wed, 7 Dec 2016 03:26:22 +0000 (04:26 +0100)
committerJulien Moutinho <julm+symantic@autogeree.net>
Wed, 7 Dec 2016 05:00:04 +0000 (06:00 +0100)
commit3570eacdf402207057927e066276082de673884b
tree4f8bc226d16e0a9cf5e05bce0bdc6d8a168bb349tree | snapshot
parent511505f14afc967c1fcc449706845778575d1fe2commit | diff
Use GHC-8.0.1's TypeInType to handle kinds better, and migrate Compiling.
38 files changed:
Language/Symantic/Compiling.hs diff | blob | history
Language/Symantic/Compiling/Applicative.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Applicative/Test.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Bool.hs diff | blob | history
Language/Symantic/Compiling/Bool/HLint.hs [new symlink] blob
Language/Symantic/Compiling/Bool/Test.hs diff | blob | history
Language/Symantic/Compiling/Char.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Either.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Eq.hs diff | blob | history
Language/Symantic/Compiling/Foldable.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Functor.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Functor/HLint.hs [new symlink] blob
Language/Symantic/Compiling/Functor/Test.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/IO.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/If.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Int.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Integer.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Integral.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Lambda.hs [deleted file] blob | history
Language/Symantic/Compiling/List.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Map.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Maybe.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Monad.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Monoid.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Num.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Ord.hs diff | blob | history
Language/Symantic/Compiling/Term.hs diff | blob | history
Language/Symantic/Compiling/Test.hs diff | blob | history
Language/Symantic/Compiling/Text.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Traversable.hs [new file with mode: 0644] blob
Language/Symantic/Compiling/Tuple2.hs [new file with mode: 0644] blob
Language/Symantic/Typing/Constant.hs diff | blob | history
Language/Symantic/Typing/Constraint.hs diff | blob | history
Language/Symantic/Typing/Kind.hs diff | blob | history
Language/Symantic/Typing/Syntax.hs diff | blob | history
Language/Symantic/Typing/Test.hs diff | blob | history
Language/Symantic/Typing/Type.hs diff | blob | history
symantic.cabal diff | blob | history
Library for Typed Tagless-Final Higher-Order Composable DSL