diff options
| author | Son Ho | 2024-03-29 11:31:47 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-29 11:31:47 +0100 |
| commit | 6f4833f84dd3ec17311b5e6ca9f5c1ad94ff7564 (patch) | |
| tree | 630b4ec048005180e2651a56ef9b890fc6c33069 /backends/lean/Base/Primitives/Range.lean | |
| parent | c2069900aa534d49b6c07eea8f5ab2fb70a26aa2 (diff) | |
Improve the error messages
Diffstat (limited to 'backends/lean/Base/Primitives/Range.lean')
0 files changed, 0 insertions, 0 deletions