Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
dbpatterson
8y ago
0 comments
Save
Share
Pattern matching on GADTs will get you there, I believe.
0 comments
1 comments · 1 top-level
top
newest
oldest
wz1000
8y ago
Its been improved a lot-
https://lirias.kuleuven.be/bitstream/123456789/512439/1/icfp...
j
/
k
navigate · click thread line to collapse
