summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Evgenii Akentev [Thu, 5 Sep 2024 06:41:54 +0000 (10:41 +0400)]
Add SE and EC
Evgenii Akentev [Thu, 5 Sep 2024 06:15:08 +0000 (10:15 +0400)]
Add SEC machine
Evgenii Akentev [Thu, 5 Sep 2024 05:26:26 +0000 (09:26 +0400)]
Add SECD
Evgenii Akentev [Wed, 4 Sep 2024 12:22:00 +0000 (16:22 +0400)]
Add Krivine, CEK & stubs
projects / machines.hs.git / log