summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives
diff options
context:
space:
mode:
authorSon Ho2024-06-11 14:06:23 +0200
committerSon Ho2024-06-11 14:06:23 +0200
commit2e91b90e332c473253c2ff91fd65da34eb709572 (patch)
treed7b06e270fd6a1cf69717f98db7c30e43788dad1 /backends/lean/Base/Primitives
parentbf883726d771988c838bc6a6e1c012dfb008769c (diff)
Deactivate the use of tuple projectors in the Lean backend
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions