aya-dev icon indicating copy to clipboard operation
aya-dev copied to clipboard

Published 20 hours ago • verified publisher icon aya-prover

Irrefutable patterns in lambda

Open ice1000 opened this issue 4 years ago • 2 comments
trafficstars

As title

ice1000 avatar Oct 17 '21 08:10 ice1000

Maybe we need match expressions for this 🤔

ice1000 avatar Oct 20 '21 11:10 ice1000

Problem: surely we can type-check a pattern in an expression, but what to do afterward? Do we create another core language expression for pattern lambdas? What about using match expressions?

ice1000 avatar Oct 26 '21 08:10 ice1000