agda2hs icon indicating copy to clipboard operation
agda2hs copied to clipboard

Published 20 hours ago • verified publisher icon agda

Views

Open flupe opened this issue 1 year ago • 0 comments

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

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

flupe avatar Dec 21 '23 11:12 flupe