]> git.xn--bdkaa.com Git - machines.hs.git/commit
projects / machines.hs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Add Krivine, CEK & stubs
authorEvgenii Akentev <hi@ak3n.com>
Wed, 4 Sep 2024 12:22:00 +0000 (16:22 +0400)
committerEvgenii Akentev <hi@ak3n.com>
Wed, 4 Sep 2024 12:22:00 +0000 (16:22 +0400)
commit2b5df2152143924ee55f80441cb22ca91b925464
tree40367cdbc9c27318f9e85171eb58b056c56e1126tree | snapshot
Add Krivine, CEK & stubs
.gitignore [new file with mode: 0644] blob
LICENSE [new file with mode: 0644] blob
machines.cabal [new file with mode: 0644] blob
src/CEK.hs [new file with mode: 0644] blob
src/CESK.hs [new file with mode: 0644] blob
src/CK.hs [new file with mode: 0644] blob
src/CS.hs [new file with mode: 0644] blob
src/Krivine.hs [new file with mode: 0644] blob
src/SECD.hs [new file with mode: 0644] blob
Abstract & Virtual machines in Haskell