diff options
| author | Son Ho | 2024-03-18 01:39:07 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-18 01:39:07 +0100 |
| commit | a8ebfc3947adb052f36775c664e43a8dc7434660 (patch) | |
| tree | 36483b7751a495315aa4efb6ae423833c10b6e93 /backends/lean/Base/Primitives | |
| parent | d56946242859e0d375c1d44585b9da6d5fbe94cb (diff) | |
Make good progress on adding generics to global constants
Diffstat (limited to 'backends/lean/Base/Primitives')
0 files changed, 0 insertions, 0 deletions