summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives
diff options
context:
space:
mode:
authorSon Ho2024-03-29 11:33:32 +0100
committerSon Ho2024-03-29 11:33:32 +0100
commitbd89156cbdcb047ed9a6c557e9873dd5724c391f (patch)
treeacf385d6dc388f78377828c83f13df7c3b25c5e7 /backends/lean/Base/Primitives
parent6f4833f84dd3ec17311b5e6ca9f5c1ad94ff7564 (diff)
Make a minor modification
Diffstat (limited to 'backends/lean/Base/Primitives')
0 files changed, 0 insertions, 0 deletions