AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to
GNU Affero General Public License v3.0
147
stars
14
forks
source link
feat(cli)!: hopon virtual instruction in the beautifier #840
Closed
monoid closed 5 months ago
It recognizes certain constructions generated by the Compiler, and outputs it in a readable form.