machines.hs.git
2024-09-05 Evgenii AkentevAdd SEC machine
2024-09-05 Evgenii AkentevAdd SECD
2024-09-04 Evgenii AkentevAdd Krivine, CEK & stubs