diff options
| author | Son HO | 2024-04-15 20:01:59 +0200 |
|---|---|---|
| committer | GitHub | 2024-04-15 20:01:59 +0200 |
| commit | 23da71768c03d955c916635bfc5c9d5806a80187 (patch) | |
| tree | 818252b795167a9a6ee366c85e901273d38b8374 /compiler/Extract.ml | |
| parent | 2545ad25384156d7d8d798567bc922be798a20e3 (diff) | |
| parent | c1c33de85906bda71cac098ddba0e5dfc98c85d2 (diff) | |
Merge pull request #126 from RaitoBezarius/scalar-preorders
lean: scalars form a preorder
Diffstat (limited to 'compiler/Extract.ml')
0 files changed, 0 insertions, 0 deletions