NumIdr is a linear algebra and matrix math library for Idris 2. It features an efficient, type-safe array system, as well as utilities for working with vector spaces. It is heavily inspired by Python's NumPy, as well as Rust's nalgebra.
