summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives/Alloc.lean
diff options
context:
space:
mode:
authorSon Ho2023-12-22 19:23:39 +0100
committerSon Ho2023-12-22 19:23:39 +0100
commit719263b7bb727bdb432f66709b8c1eadc47ba922 (patch)
tree8b51c633b297a3f851538ccb6724f1ca034f63e1 /backends/lean/Base/Primitives/Alloc.lean
parent2171c01c6101958d3d12734ad970132b78d500d7 (diff)
Annotate the bound vars in the lambdas for Coq
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions