summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-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