summaryrefslogtreecommitdiff
path: root/backends/lean/Base
diff options
context:
space:
mode:
authorSon Ho2024-03-20 06:17:13 +0100
committerSon Ho2024-03-20 06:17:13 +0100
commite6f002cfc1dfa41362bbb3a005c4261d09c52c58 (patch)
treed0bda90f427825ef5702a3a1fcecff77e29e1458 /backends/lean/Base
parentf3e16bb43a8ff27a5184d9fa452277cc6a59410f (diff)
Improve the generation of pretty name and the micro passes
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions