]> Git — Sourcephile - haskell/symantic.git/commit
Add Compiling, Interpreting and Transforming.
authorJulien Moutinho <julm+symantic@autogeree.net>
Sun, 4 Dec 2016 00:59:07 +0000 (01:59 +0100)
committerJulien Moutinho <julm+symantic@autogeree.net>
Sun, 4 Dec 2016 00:59:07 +0000 (01:59 +0100)
commit511505f14afc967c1fcc449706845778575d1fe2
tree4d163c5c3ffd71ba3a146ea1810ce258c1d071c8
parentaa554d420418a74fbab53f98b08ab5b6f49601d1
Add Compiling, Interpreting and Transforming.
29 files changed:
Language/Symantic.hs
Language/Symantic/Compiling.hs [new file with mode: 0644]
Language/Symantic/Compiling/Bool.hs [new file with mode: 0644]
Language/Symantic/Compiling/Bool/Test.hs [new file with mode: 0644]
Language/Symantic/Compiling/Eq.hs [new file with mode: 0644]
Language/Symantic/Compiling/HLint.hs [new symlink]
Language/Symantic/Compiling/Lambda.hs [new file with mode: 0644]
Language/Symantic/Compiling/Ord.hs [new file with mode: 0644]
Language/Symantic/Compiling/Term.hs [new file with mode: 0644]
Language/Symantic/Compiling/Test.hs [new file with mode: 0644]
Language/Symantic/Interpreting.hs [new file with mode: 0644]
Language/Symantic/Interpreting/Dup.hs [new file with mode: 0644]
Language/Symantic/Interpreting/HLint.hs [new symlink]
Language/Symantic/Interpreting/Host.hs [new file with mode: 0644]
Language/Symantic/Interpreting/Text.hs [new file with mode: 0644]
Language/Symantic/Lib/Data/Type/HLint.hs [new symlink]
Language/Symantic/Lib/Data/Type/List.hs [new file with mode: 0644]
Language/Symantic/Lib/Data/Type/Peano.hs [moved from Language/Symantic/Lib/Data/Peano.hs with 96% similarity]
Language/Symantic/Test.hs
Language/Symantic/Transforming.hs [new file with mode: 0644]
Language/Symantic/Transforming/Trans.hs [new file with mode: 0644]
Language/Symantic/Typing.hs
Language/Symantic/Typing/Constant.hs
Language/Symantic/Typing/Constraint.hs
Language/Symantic/Typing/Kind.hs
Language/Symantic/Typing/Syntax.hs
Language/Symantic/Typing/Test.hs
Language/Symantic/Typing/Type.hs
symantic.cabal