| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2024-02-22 | change error messages to be incorrect, but more helpful | lcnr | -1/+1 |
| 2024-02-22 | do not use <: in subtyping overflow msg | lcnr | -1/+1 |
| 2023-12-01 | Handle recursion limit for subtype and well-formed predicates | Matthew Jasper | -0/+17 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |