diff options
| author | Son HO | 2024-04-23 16:49:31 +0200 |
|---|---|---|
| committer | GitHub | 2024-04-23 16:49:31 +0200 |
| commit | 1be37966ceea2510b911b119a96246b4657a62fd (patch) | |
| tree | 85ed42e1be3a26741c26843ea06ada806170663a /backends/lean/Base/Diverge | |
| parent | f3007820a21d11721507f5054b30bf5ae99a7b95 (diff) | |
| parent | e49b92903cbd3dc7c981789cb4121dc89569bed3 (diff) | |
Merge pull request #156 from RaitoBezarius/orders
feat(backends/lean): scalars form a linear order
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions