diff options
| author | Son Ho | 2023-09-19 18:07:13 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-19 18:07:13 +0200 |
| commit | b946902f8cb8b83c2ca93eceebe99dfbc985987d (patch) | |
| tree | c65e2f29af837ddead6a3443f4f72b8583496756 /backends/lean/Base/Primitives | |
| parent | 353a9627cf39290f2fe841a45e52726aa9fe6512 (diff) | |
Cleanup a bit
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions