machines.hs.git
2024-09-07 Evgenii AkentevAdd Virtual CLS and SECD machines master
2024-09-07 Evgenii AkentevAdd Virtual VEC machine
2024-09-07 Evgenii AkentevAdd CAM virtual machine
2024-09-07 Evgenii AkentevAdd Virtual CEK and Krivine machines
2024-09-06 Evgenii AkentevAdd Abstract and Virtual sections
2024-09-06 Evgenii AkentevCleanup
2024-09-05 Evgenii AkentevAdd SE and EC
2024-09-05 Evgenii AkentevAdd SEC machine
2024-09-05 Evgenii AkentevAdd SECD
2024-09-04 Evgenii AkentevAdd Krivine, CEK & stubs