Git — Sourcephile - haskell/symantic.git/commit

]> Git — Sourcephile - haskell/symantic.git/commit

sourcephile / git / haskell / symantic.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 3a1e8e5) | patch

author	Julien Moutinho <julm+symantic@autogeree.net>
	Thu, 11 May 2017 14:34:29 +0000 (16:34 +0200)
committer	Julien Moutinho <julm+symantic@autogeree.net>
	Thu, 11 May 2017 14:34:29 +0000 (16:34 +0200)
commit	f2e44adb46c2fa14521f0d9aced72dc24983f219
tree	2ff04260a80ff0383a278738395e7169975017eb	tree \| snapshot
parent	3a1e8e5fe7fe688d086837b1e24f14b66e1a367d	commit \| diff

Try the new Type and Term design against the actual needs.

18 files changed:

symantic/Language/Symantic/Compiling/Term.hs		diff \| blob \| history
symantic/Language/Symantic/Compiling/Term/Grammar.hs		diff \| blob \| history
symantic/Language/Symantic/Helper/Data/Type/Equality.hs	[new file with mode: 0644]	blob
symantic/Language/Symantic/Interpreting/Host.hs		diff \| blob \| history
symantic/Language/Symantic/Parsing/Token.hs		diff \| blob \| history
symantic/Language/Symantic/Typing.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Compile.hs	[deleted file]	blob \| history
symantic/Language/Symantic/Typing/Constant.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Constraint.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Family.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Grammar.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Kind.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Quantification.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Read.hs	[new file with mode: 0644]	blob
symantic/Language/Symantic/Typing/Show.hs	[new file with mode: 0644]	blob
symantic/Language/Symantic/Typing/Term.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Type.hs		diff \| blob \| history
symantic/symantic.cabal		diff \| blob \| history

Library for Typed Tagless-Final Higher-Order Composable DSL