Skip to content

Implement proposal 302: \cases - Multi-way lambda expressions

Proposal 302 about an extension to -XLambdaCase has been accepted on 2021-09-21. This ticket serves to track its implementation.

I will implement this proposal.

Edited by Jakob Brünker
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information