From f73026f8a8c1132dcf25da7a2d1d42e4c680facd Mon Sep 17 00:00:00 2001 From: kiana-S Date: Tue, 10 May 2022 17:35:12 -0400 Subject: [PATCH] Add ipkg file --- README.md | 8 ++++++-- numidr.ipkg | 7 +++++++ 2 files changed, 13 insertions(+), 2 deletions(-) create mode 100644 numidr.ipkg diff --git a/README.md b/README.md index 0f383a2..8e5b28e 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,6 @@ -# numidr -Linear algebra and matrix math library for Idris2 +# NumIdr + +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](https://numpy.org/), +as well as Rust's [nalgebra](https://www.nalgebra.org/). diff --git a/numidr.ipkg b/numidr.ipkg new file mode 100644 index 0000000..5ad702b --- /dev/null +++ b/numidr.ipkg @@ -0,0 +1,7 @@ +package numidr +version = 0.0.0 + +authors = "kiana-S" +license = "MIT" + +sourcedir = "src" \ No newline at end of file