diff options
| author | Raito Bezarius | 2024-04-04 17:30:22 +0200 |
|---|---|---|
| committer | Raito Bezarius | 2024-04-04 17:30:22 +0200 |
| commit | 7064a237805d5cac48d2f5aa7e4691ea7695b8af (patch) | |
| tree | a8e08c4648c21995b64b91eba6afa2347eea65bb /lakefile.lean | |
| parent | 9da83df6319b806d584da9ae5c6da260fcae56a8 (diff) | |
feat: lift Rust "totality" to total orders
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
Diffstat (limited to 'lakefile.lean')
0 files changed, 0 insertions, 0 deletions