gadts
Topic | Replies | Views | Activity | |
---|---|---|---|---|
A pattern for using GADTs to subset cases |
![]() ![]() ![]() ![]() ![]() |
19 | 934 | September 17, 2024 |
Mapping GADT with Polymorphic Variant into a more restrictive form |
![]() ![]() |
5 | 778 | May 24, 2023 |
Need help to understand GADTs |
![]() ![]() ![]() ![]() ![]() |
5 | 633 | July 6, 2022 |