diff options
| author | Son Ho | 2024-03-08 09:42:29 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-08 09:42:29 +0100 |
| commit | 44248ccfe3bfb8c45e5bb434d8dfb3dfa6e6b69c (patch) | |
| tree | dd824e0ac83bb8ee885907615d972b6a522689aa /backends/lean/Base/Primitives.lean | |
| parent | 9d541d1ab6b91e59e4f78f4711af085a33ee4f82 (diff) | |
Update the generation of constant bodies for Lean
Diffstat (limited to 'backends/lean/Base/Primitives.lean')
0 files changed, 0 insertions, 0 deletions