diff options
| author | Andreas Grois <andi@grois.info> | 2024-09-05 19:27:36 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-09-05 19:27:36 +0200 |
| commit | 11f466e3091b34521e48b04e412bbd843bd20d27 (patch) | |
| tree | 30023b166c06e5aa19d9eb1273259edc0b601312 /lakefile.lean | |
| parent | 79726a8a669ff879db4ae14b8e27af357dd7c7b7 (diff) | |
Add for-loop support and update lean toolchain to 4.11v0.1.1
Diffstat (limited to 'lakefile.lean')
0 files changed, 0 insertions, 0 deletions