]> Git — Sourcephile - haskell/symantic-base.git/commit
add Symantic.Typed
authorJulien Moutinho <julm+symantic-base@sourcephile.fr>
Mon, 5 Jul 2021 21:40:23 +0000 (23:40 +0200)
committerJulien Moutinho <julm+symantic-base@sourcephile.fr>
Sun, 11 Jul 2021 17:36:56 +0000 (19:36 +0200)
commit5af68c62762da12515b89e2852b91aa365ab6618
tree88aa0ae91743fc1847ace5c4884119f86fd9b946
parentb5cf4b478bc388dff61e7cea3ec5d5fb70fc8f4c
add Symantic.Typed
25 files changed:
.envrc [new file with mode: 0644]
.gitignore
GNUmakefile [deleted file]
Makefile [new file with mode: 0644]
default.nix [new file with mode: 0644]
flake.lock [new file with mode: 0644]
flake.nix [new file with mode: 0644]
src/Symantic/Dityped.hs [new file with mode: 0644]
src/Symantic/Dityped/Algebrable.hs
src/Symantic/Dityped/Composable.hs
src/Symantic/Dityped/Permutable.hs
src/Symantic/Dityped/Routable.hs
src/Symantic/Dityped/Transformable.hs [new file with mode: 0644]
src/Symantic/Typed.hs [new file with mode: 0644]
src/Symantic/Typed/Data.hs [new file with mode: 0644]
src/Symantic/Typed/Lang.hs [new file with mode: 0644]
src/Symantic/Typed/ObserveSharing.hs [new file with mode: 0644]
src/Symantic/Typed/Optimize.hs [new file with mode: 0644]
src/Symantic/Typed/Reify.hs [new file with mode: 0644]
src/Symantic/Typed/Transformable.hs [new file with mode: 0644]
src/Symantic/Typed/View.hs [new file with mode: 0644]
src/Symantic/Utils/ADT.hs
src/Symantic/Utils/CurryN.hs
src/Symantic/Utils/Fixity.hs
symantic-base.cabal