diff options
| author | Son HO | 2024-04-12 08:59:55 +0200 |
|---|---|---|
| committer | GitHub | 2024-04-12 08:59:55 +0200 |
| commit | 03a175b423c9ccff2160300c4d349978f9b1aeb9 (patch) | |
| tree | c85831d9d4bae5116cda6261befafdc229303205 /compiler/TranslateCore.ml | |
| parent | 77d74452489f85f558efe07d72d0200c80b16444 (diff) | |
| parent | 502f25a653a0afe7787b92a3004374e7670ea69b (diff) | |
Merge pull request #110 from zhassan-aws/checked-ops
Add builtins for some checked ops for the Lean backend
Diffstat (limited to 'compiler/TranslateCore.ml')
0 files changed, 0 insertions, 0 deletions