diff options
| author | Son Ho | 2024-04-12 16:47:40 +0200 |
|---|---|---|
| committer | Son Ho | 2024-04-12 16:47:40 +0200 |
| commit | 0a258c03bc49b4d3d89b3ce0f73b1c57e38f4eeb (patch) | |
| tree | 19541337b81ba7d6901949dc6d2e932fe6395d64 /backends/lean/Base/Primitives.lean | |
| parent | 03a175b423c9ccff2160300c4d349978f9b1aeb9 (diff) | |
Start adding integer functions to the Lean library
Diffstat (limited to '')
| -rw-r--r-- | backends/lean/Base/Primitives.lean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/lean/Base/Primitives.lean b/backends/lean/Base/Primitives.lean index 7196d2ec..ad8f2501 100644 --- a/backends/lean/Base/Primitives.lean +++ b/backends/lean/Base/Primitives.lean @@ -4,4 +4,4 @@ import Base.Primitives.Scalar import Base.Primitives.ArraySlice import Base.Primitives.Vec import Base.Primitives.Alloc -import Base.Primitives.CoreOps +import Base.Primitives.Core |