repos / machines.hs.git

(10) commits
6f905d4
(master)
Evgenii Akentev  ·  2024-09-07 
Add Virtual CLS and SECD machines
7ae50ab
Evgenii Akentev  ·  2024-09-07 
Add Virtual VEC machine
b3d223c
Evgenii Akentev  ·  2024-09-07 
Add CAM virtual machine
d487e9f
Evgenii Akentev  ·  2024-09-07 
Add Virtual CEK and Krivine machines
fd04588
Evgenii Akentev  ·  2024-09-06 
Add Abstract and Virtual sections
b9b902e
Evgenii Akentev  ·  2024-09-06 
Cleanup
fd5db40
Evgenii Akentev  ·  2024-09-05 
Add SE and EC
796991e
Evgenii Akentev  ·  2024-09-05 
Add SEC machine
d12d51c
Evgenii Akentev  ·  2024-09-05 
Add SECD
2b5df21
Evgenii Akentev  ·  2024-09-04 
Add Krivine, CEK & stubs