diff options
| author | Son Ho | 2023-10-16 11:06:46 +0200 |
|---|---|---|
| committer | Son Ho | 2023-10-16 11:06:46 +0200 |
| commit | cbb2d05e0db6bedf9d6844f29ee25b95429b994c (patch) | |
| tree | 0f6727e66f1034fdac417f3d62f903efc4fee73a /compiler/InterpreterLoops.mli | |
| parent | 0ba1c30f735f6e1cce771800d41042e6dc15e86f (diff) | |
Improve formatting of scalars in Lean
Diffstat (limited to 'compiler/InterpreterLoops.mli')
0 files changed, 0 insertions, 0 deletions