search

aiken-lang / aiken

A modern smart contract platform for Cardano
https://aiken-lang.org
Apache License 2.0
484 stars 96 forks source link

Add interning to air generation thus ensuring unique variable names #1019

Closed MicroProofs closed 2 months ago

MicroProofs commented 2 months ago

Closes #1009