summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives
diff options
context:
space:
mode:
authorSon Ho2023-02-01 00:13:16 +0100
committerSon HO2023-06-04 21:54:38 +0200
commit26309503ab0d7710f03333d7762e484be94767e0 (patch)
tree573be1ce11529c620f7598c74238e3aa52a46aeb /backends/lean/Base/Primitives
parent49903e84b1193565baa04a25864d6e54fed6f1de (diff)
Make minor modifications
Diffstat (limited to 'backends/lean/Base/Primitives')
0 files changed, 0 insertions, 0 deletions