git.xn--bdkaa.com Git - cubicaltt-web.git/commit

]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit

projects / cubicaltt-web.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 6c42cb8) | patch

author	Evgenii Akentev <i@ak3n.com>
	Fri, 11 Nov 2022 21:52:29 +0000 (01:52 +0400)
committer	Evgenii Akentev <i@ak3n.com>
	Fri, 11 Nov 2022 21:52:29 +0000 (01:52 +0400)
commit	d433728389af7e5449db21f8b42601713ff6bfb9
tree	ae95471bff316358861bef8ee2f0c3c5d28f776e	tree \| snapshot
parent	6c42cb8273e61265a73ffbb642beeaa9295ac2b4	commit \| diff

Update reflex and the code

.gitignore		diff \| blob \| history
CTT.hs		diff \| blob \| history
Connections.hs		diff \| blob \| history
Exp/Abs.hs		diff \| blob \| history
Helpers.hs		diff \| blob \| history
Main.hs		diff \| blob \| history
Resolver.hs		diff \| blob \| history
TypeChecker.hs		diff \| blob \| history
default.nix		diff \| blob \| history
shell.nix		diff \| blob \| history

My fork of cubicaltt with web interface using Reflex.