erg 0.6.53

The Erg programming language
Documentation
1
2
3
.NDArray: (T: Type, Shape: [Nat; _]) -> ClassType
.NDArray(T, _) <: Output T
.NDArray(_, _) <: Num