diff options
| author | Son Ho | 2024-06-12 18:20:52 +0200 |
|---|---|---|
| committer | Son Ho | 2024-06-12 18:20:52 +0200 |
| commit | d36736fa4e7eb9f42f35303b8080d17ddbee92d2 (patch) | |
| tree | aa14af61056233f309cdedf138604f7ac0ba443f /compiler/InterpreterBorrowsCore.ml | |
| parent | d85d160ae9736f50d9c043b411c5a831f1fbb964 (diff) | |
Revert "Update the scalar notation for the Lean backend"
This reverts commit c8272aeea205ca9cb36e22757473ca2a931a4933.
Diffstat (limited to 'compiler/InterpreterBorrowsCore.ml')
0 files changed, 0 insertions, 0 deletions