Add Abstract and Virtual sections
authorEvgenii Akentev <hi@ak3n.com>
Fri, 6 Sep 2024 07:56:54 +0000 (11:56 +0400)
committerEvgenii Akentev <hi@ak3n.com>
Fri, 6 Sep 2024 07:56:54 +0000 (11:56 +0400)
commitfd04588732b0d0411566781729fc05892375fcbb
tree1d3c58f751cfeea6d12209c6531e5a1412526188
parentb9b902ee268705d846432513f2bb404766ac5323
Add Abstract and Virtual sections
machines.cabal
src/Abstract/CEK.hs [moved from src/CEK.hs with 97% similarity]
src/Abstract/EC.hs [moved from src/EC.hs with 98% similarity]
src/Abstract/Krivine.hs [moved from src/Krivine.hs with 97% similarity]
src/Abstract/SE.hs [moved from src/SE.hs with 98% similarity]
src/Abstract/SEC.hs [moved from src/SEC.hs with 98% similarity]
src/Abstract/SECD.hs [moved from src/SECD.hs with 98% similarity]