summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Diverge.lean
diff options
context:
space:
mode:
authorSon Ho2023-06-30 15:53:39 +0200
committerSon Ho2023-06-30 15:53:39 +0200
commit1c9331ce92b68b9a83c601212149a6c24591708f (patch)
tree7918a0c930ff675bb83e5a5030dd8208a9e500e3 /backends/lean/Base/Diverge.lean
parentfdc8693772ecb1978873018c790061854f00a015 (diff)
Generate the fixed-point bodies in Elab.lean
Diffstat (limited to 'backends/lean/Base/Diverge.lean')
0 files changed, 0 insertions, 0 deletions