diff options
| author | Aymeric Fromherz | 2024-05-23 10:58:47 +0200 |
|---|---|---|
| committer | Aymeric Fromherz | 2024-05-23 11:44:28 +0200 |
| commit | e660a4d575ba55bd23c64b5bd7b4e435be82d7ed (patch) | |
| tree | e7bba86dc6db9e30a789067107a274b0d1eb9050 /compiler/Collections.ml | |
| parent | 71834958a958523a4881d822e729af1ddd78c9df (diff) | |
Improve formatting of Lean struct projectors
Diffstat (limited to 'compiler/Collections.ml')
0 files changed, 0 insertions, 0 deletions