diff options
| author | Andreas Grois <andi@grois.info> | 2023-12-04 23:23:05 +0100 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2023-12-04 23:24:04 +0100 |
| commit | ca7d7317e89b186556d1207ce713f6c0ca9ba783 (patch) | |
| tree | 89f8c5c85d07f86af3973dc8fe459283128d97ae /Common/Option.lean | |
| parent | cc75d1107a2f97eec91a3b81a2a918a669cc8511 (diff) | |
Day 4
I'm particularly proud of part 2.
Diffstat (limited to 'Common/Option.lean')
0 files changed, 0 insertions, 0 deletions