# numidr
Linear algebra and matrix math library for Idris2