gadts
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Mapping GADT with Polymorphic Variant into a more restrictive form |
![]() ![]() |
5 | 381 | May 24, 2023 |
Need help to understand GADTs |
![]() ![]() ![]() ![]() ![]() |
5 | 476 | July 6, 2022 |