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