agda / agda2hs

Compiling Agda code to readable Haskell

https://agda.github.io/agda2hs

Views

flupe opened this issue 7 months ago · comments

Lucas Escot commented 7 months ago

Wonder if we could support with syntax for matching on views specifically.

https://arxiv.org/pdf/2301.02194.pdf