RFC: The path to Futamura 🗻#784

Draft

gustavo-grieco wants to merge 11 commits intoargotorg:mainfrom

gustavo-grieco:dev-futamura

Commits on Jun 28, 2025

started to add some code to produce futamura projections
gustavo-grieco
committed

Commits on Jun 29, 2025

removed some compilation errors, but still some others there
gustavo-grieco
committed

Commits on Jun 30, 2025

compilation works
gustavo-grieco
committed

Commits on Jul 1, 2025

first opcodes correctly compiled and executed
gustavo-grieco
committed

Commits on Jul 3, 2025

more opcodes and use st monad a single time
gustavo-grieco
committed

Commits on Jul 5, 2025

naive cfg building to generate a complete program in haskell from opcodes
gustavo-grieco
committed

Commits on Jul 6, 2025

experimented a bit with opcodes
gustavo-grieco
committed