diff options
| author | Son Ho | 2023-02-05 15:15:42 +0100 |
|---|---|---|
| committer | Son HO | 2023-06-04 21:44:33 +0200 |
| commit | 569513587ac168683c40cef03c1e3a74579e6e44 (patch) | |
| tree | 5f77d40f6a7100fbeae0d2bb27d15f673fe6d508 /backends | |
| parent | e837bc8452496a1f3f5af568c000b9c1c5c5919a (diff) | |
Rename primitives.lean to Primitives.lean
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/lean/Primitives.lean (renamed from backends/lean/primitives.lean) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/backends/lean/primitives.lean b/backends/lean/Primitives.lean index 79958d94..79958d94 100644 --- a/backends/lean/primitives.lean +++ b/backends/lean/Primitives.lean |