rectypes
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Which kind of recursive types are allowed? |
|
11 | 1578 | September 4, 2023 |
| An error `type int x should be 'a x` in presense of `-rectypes` |
|
0 | 617 | February 13, 2019 |