Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove the --hybrid and --nominal command line options (#5669) | Thomas Lively | 2023-04-14 | 1 | -1/+1 |
* | Do not optimize public types (#5347) | Thomas Lively | 2022-12-16 | 1 | -6/+9 |
* | Change the default type system to isorecursive (#5239) | Thomas Lively | 2022-11-23 | 1 | -8/+8 |
* | Remvoe extra space after rec beginning (#4981) | Alon Zakai | 2022-08-29 | 1 | -3/+3 |
* | Make `GlobalTypeRewriter` work for isorecursive types (#4829) | Thomas Lively | 2022-07-26 | 1 | -0/+207 |