diff options
| author | Son Ho | 2023-08-04 19:57:48 +0200 |
|---|---|---|
| committer | Son Ho | 2023-08-04 19:57:48 +0200 |
| commit | 79225e6ca645ca3902b3b761966dc869306cedbd (patch) | |
| tree | 1255b02c9b560d4e0782fbaf2147a162f7e18789 /backends/lean/Base/Primitives/Base.lean | |
| parent | 42b37b07b03c6bd594cac11b1f639ba66e16771b (diff) | |
Add SliceLen as a primitive function and make minor adjustments
Diffstat (limited to 'backends/lean/Base/Primitives/Base.lean')
0 files changed, 0 insertions, 0 deletions