aiken icon indicating copy to clipboard operation
aiken copied to clipboard

Published 20 hours ago • verified publisher icon aiken-lang

Backpassing with expect gives a warning on pattern matches

Open MicroProofs opened this issue 11 months ago • 0 comments

Screenshot 2024-03-22 at 12 36 14 PM

MicroProofs avatar Mar 22 '24 16:03 MicroProofs