Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove the nominal type system (#5672) | Thomas Lively | 2023-04-17 | 1 | -15/+2 |
* | Remove equirecursive typing (#5240) | Thomas Lively | 2022-11-23 | 1 | -1/+0 |
* | Change `TypeTest` to use isorecursive types (#4540) | Thomas Lively | 2022-03-22 | 1 | -1/+1 |
* | [NFC] Move type system test fixture to its own header (#4539) | Thomas Lively | 2022-03-22 | 1 | -0/+40 |