existential-types
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Equal existential types are not printed equally by the top-level? |
![]() ![]() |
4 | 374 | February 19, 2022 |
What's a usage pattern for existential type variables? |
![]() ![]() ![]() ![]() |
6 | 1560 | September 28, 2021 |
Reads for GADT, existential types, universally quantified type code |
![]() ![]() ![]() |
3 | 803 | April 9, 2020 |