numidr

Author	SHA1	Message	Date
Kiana Sheibani	dfe99d9741	Do not export PrimArray modules	2024-04-28 00:31:11 -04:00
Kiana Sheibani	741e389496	Remove Data.NP Data.Vect.Quantifiers.All is entirely equivalent.	2024-03-01 18:56:27 -05:00
Kiana Sheibani	9a5c0be049	Add brief description	2023-09-27 13:20:06 -04:00
Kiana Sheibani	77e5ba03b6	Update ipkg	2023-09-26 00:40:50 -04:00
Kiana Sheibani	983733f241	Remove LArray LArrays were originally devised for efficiency reasons, but now that Delayed array representations exist there isn't any need for it.	2023-09-25 22:55:53 -04:00
Kiana Sheibani	bd235754d2	Create PrimArray submodules for each rep	2023-05-05 13:42:28 -04:00
Kiana Sheibani	eeb2967f6f	Rename Data.NumIdr.Array.Order to Rep	2023-05-05 13:41:21 -04:00
Kiana Sheibani	7be3544ce6	Update package version	2023-01-30 20:46:19 -05:00
Kiana Sheibani	eddb0e318c	Add more utility functions	2022-11-30 22:02:56 -05:00
Kiana Sheibani	ef07155161	Update package version	2022-10-21 18:04:00 -04:00
Kiana Sheibani	077b393bd1	Document everything	2022-10-21 17:12:43 -04:00
Kiana Sheibani	f72826b329	Update package to Idris2 0.5.1	2022-09-09 09:17:11 -04:00
Kiana Sheibani	3e12505377	Create Field and Scalar interfaces	2022-09-06 13:38:43 -04:00
Kiana Sheibani	f02ebb70e5	Update ipkg	2022-09-03 21:57:56 -04:00
Kiana Sheibani	a615dfbdd5	Update ipkg file to 0.1.0	2022-06-25 01:06:41 -04:00
Kiana Sheibani	f73026f8a8	Add ipkg file	2022-05-10 17:35:12 -04:00