summaryrefslogtreecommitdiff
path: root/backends/lean/Primitives.lean
diff options
context:
space:
mode:
authorSon Ho2023-01-21 18:17:35 +0100
committerSon HO2023-06-04 21:54:38 +0200
commit41cfff628a12bcdc07861db029f54dac74b39853 (patch)
treee51c32e72f1adc60deeda7ecd590c2b7f31f00ad /backends/lean/Primitives.lean
parentd67375c62c7486bb531de616cf6978467c67ee46 (diff)
Start working on Primitives.sml
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions