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 /compiler/Print.ml | |
parent | e837bc8452496a1f3f5af568c000b9c1c5c5919a (diff) |
Rename primitives.lean to Primitives.lean
Diffstat (limited to 'compiler/Print.ml')
0 files changed, 0 insertions, 0 deletions