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