Add web version of cubicaltt
authorEvgenii Akentev <i@ak3n.com>
Sun, 16 Aug 2020 14:47:28 +0000 (19:47 +0500)
committerEvgenii Akentev <i@ak3n.com>
Mon, 31 Aug 2020 18:51:14 +0000 (23:51 +0500)
commit6c42cb8273e61265a73ffbb642beeaa9295ac2b4
treefef2fd16165dc7983648c09c136019a7561d2ad1
parenta5c6f94bfc0da84e214641e0b87aa9649ea114ea
Add web version of cubicaltt
35 files changed:
.gitignore
.gitmodules [new file with mode: 0644]
CTT.hs
Connections.hs
Exp/Abs.hs [new file with mode: 0644]
Exp/Abs.hs.bak [new file with mode: 0644]
Exp/Doc.txt [new file with mode: 0644]
Exp/Doc.txt.bak [new file with mode: 0644]
Exp/ErrM.hs [new file with mode: 0644]
Exp/ErrM.hs.bak [new file with mode: 0644]
Exp/Layout.hs [new file with mode: 0644]
Exp/Layout.hs.bak [new file with mode: 0644]
Exp/Lex.x [new file with mode: 0644]
Exp/Lex.x.bak [new file with mode: 0644]
Exp/Par.y [new file with mode: 0644]
Exp/Par.y.bak [new file with mode: 0644]
Exp/Print.hs [new file with mode: 0644]
Exp/Print.hs.bak [new file with mode: 0644]
Exp/Skel.hs [new file with mode: 0644]
Exp/Skel.hs.bak [new file with mode: 0644]
Exp/Test.hs [new file with mode: 0644]
Exp/Test.hs.bak [new file with mode: 0644]
GNUmakefile
Helpers.hs [new file with mode: 0644]
Main.hs
Resolver.hs
Setup.hs [deleted file]
TypeChecker.hs
cabal.project [new file with mode: 0644]
cubicaltt.cabal
default.nix [new file with mode: 0644]
reflex-platform [new submodule]
setup.js [new file with mode: 0644]
shell.nix [new file with mode: 0644]
welcome.ctt [new file with mode: 0644]