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