3 ms·
Pattern matching on GADTs will get you there, I believe.
by dbpatterson 9y ago
Pattern matching on GADTs will get you there, I believe.
- wz1000 9y agoIts been improved a lot- https://lirias.kuleuven.be/bitstream/123456789/512439/1/icfp2015.pdf https://lirias.kuleuven.be/bitstream/123456789/512439/1/icfp...