summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives
diff options
context:
space:
mode:
authorSon Ho2023-11-07 10:40:27 +0100
committerSon Ho2023-11-07 10:40:27 +0100
commited788eec1d8be1656c0ad7dab25975ad3f5497c2 (patch)
tree533c76df0bc65c5e39bc2398e9f0d51afe5a05fe /backends/lean/Base/Primitives
parentbcc3f4ae99ba5ff78d03c51c825659e1b67bb0b0 (diff)
Update the normalization of associated types
Diffstat (limited to 'backends/lean/Base/Primitives')
0 files changed, 0 insertions, 0 deletions