phantom-types
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Generalised abstract data types, phantom types and modules |
|
2 | 305 | February 28, 2024 |
| Patching a GADT-and-phantom-types-heavy-library … what did I do wrong? |
|
2 | 468 | November 15, 2023 |
| Modelling access permissions with polymorphic variants |
|
6 | 1022 | June 15, 2023 |