diff options
| author | Son Ho | 2023-06-30 15:53:39 +0200 |
|---|---|---|
| committer | Son Ho | 2023-06-30 15:53:39 +0200 |
| commit | 1c9331ce92b68b9a83c601212149a6c24591708f (patch) | |
| tree | 7918a0c930ff675bb83e5a5030dd8208a9e500e3 /compiler/InterpreterExpansion.mli | |
| parent | fdc8693772ecb1978873018c790061854f00a015 (diff) | |
Generate the fixed-point bodies in Elab.lean
Diffstat (limited to 'compiler/InterpreterExpansion.mli')
0 files changed, 0 insertions, 0 deletions