Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Drop support for non-standard quoted function names (#6188) | Thomas Lively | 2023-12-20 | 1 | -4/+4 |
* | Simplify and consolidate type printing (#5816) | Thomas Lively | 2023-08-24 | 1 | -3/+3 |
* | Change the default type system to isorecursive (#5239) | Thomas Lively | 2022-11-23 | 1 | -2/+2 |
* | Interpreter: Remove GlobalManager (#4486) | Alon Zakai | 2022-01-31 | 1 | -0/+26 |