projects / machines.hs.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
machines.hs.git
2 months agoAdd SEC machine
commit | commitdiff | tree
Evgenii Akentev [Thu, 5 Sep 2024 06:15:08 +0000 (10:15 +0400)]
Add SEC machine

2 months agoAdd SECD
commit | commitdiff | tree
Evgenii Akentev [Thu, 5 Sep 2024 05:26:26 +0000 (09:26 +0400)]
Add SECD

2 months agoAdd Krivine, CEK & stubs
commit | commitdiff | tree
Evgenii Akentev [Wed, 4 Sep 2024 12:22:00 +0000 (16:22 +0400)]
Add Krivine, CEK & stubs

Abstract & Virtual machines in Haskell