diff options
| author | JJ | 2024-06-20 20:19:52 +0000 |
|---|---|---|
| committer | JJ | 2024-06-20 20:47:53 +0000 |
| commit | 5d17c1e7254e1359484b4dfd7a1236cf6f3b8adb (patch) | |
| tree | bf010ad3493e7c27c2cd82c93438623bf063b62b /LICENSE | |
| parent | 011219189f4d6525ee844bcf9ff03fcf3555ee2c (diff) | |
stlc-ext: typecheck boolean and natural operations
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions