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
tree40367cdbc9c27318f9e85171eb58b056c56e1126
Add Krivine, CEK & stubs
.gitignore [new file with mode: 0644]
LICENSE [new file with mode: 0644]
machines.cabal [new file with mode: 0644]
src/CEK.hs [new file with mode: 0644]
src/CESK.hs [new file with mode: 0644]
src/CK.hs [new file with mode: 0644]
src/CS.hs [new file with mode: 0644]
src/Krivine.hs [new file with mode: 0644]
src/SECD.hs [new file with mode: 0644]