summaryrefslogtreecommitdiff
path: root/backends/lean/Base/Primitives.lean
blob: 93617049ea6d1e0cfb7bb725d1c69eff01ae2c25 (plain)
1
2
3
4
5
6
7
8
9
import Base.Primitives.Base
import Base.Tuples
import Base.Primitives.Scalar
import Base.Primitives.ScalarNotations
import Base.Primitives.ArraySlice
import Base.Primitives.Vec
import Base.Primitives.Alloc
import Base.Primitives.Core
import Base.Primitives.CoreConvertNum