search

aiken-lang / aiken

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

Backpassing with expect gives a warning on pattern matches #898

Closed MicroProofs closed 3 months ago

MicroProofs commented 5 months ago

Screenshot 2024-03-22 at 12 36 14 PM