diff options
| author | Son Ho | 2023-12-22 18:08:26 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-22 18:08:26 +0100 |
| commit | a504199331e1b406d24067837a725085fb8f09e9 (patch) | |
| tree | 192a4b737a4683185e456642dcbcfdfb605084d6 /backends/lean/lean-toolchain | |
| parent | 774eb319e514a0ba02473f9c82ee9d3355de8a3d (diff) | |
Slightly update the formatting of the do blocks
Diffstat (limited to 'backends/lean/lean-toolchain')
0 files changed, 0 insertions, 0 deletions