diff options
| author | Son Ho | 2024-06-03 11:48:49 +0200 |
|---|---|---|
| committer | Son Ho | 2024-06-03 11:48:49 +0200 |
| commit | 0ef06470110e11835ca394b96035ea44cb881a07 (patch) | |
| tree | 2b1043c0974d2f275b900386327a42ed95ef2991 /backends/lean/Base/Primitives/Base.lean | |
| parent | f5a7a0ceccfeec0dd8801d5a874cb66c1a356f8f (diff) | |
Update some comments
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions