Open effectfully opened 5 years ago
This language gets less and less tiny every day.
This language gets less and less tiny every day.
Yeah, one day we'll probably compile a fair chunk of Plutus into it. And we'll probably add more "imperative" constructs.
Added vectors of booleans in #34 and unpacking of integer field elements into binary form (required downstream).
We now have loops and statically unrollable arrays will give us a lot of power.