toki/numidr
1
0
Fork 0
Code Issues Pull requests Activity
114 commits 2 branches 2 tags 236 KiB
Commit graph

17 commits

Author SHA1 Message Date
Kiana Sheibani a31a7178f5
Fix numbering 2024-05-06 02:29:09 -04:00
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