commit 78f7fe88b9ef6a4f350294573a046078b760cc8e Author: Simon Beaumont datalligator@icloud.com Date: Thu Feb 1 20:55:14 2024 +0000
Added new reference to readme.
commit d2bed86185c28b7849a69bf1f9fd84ea3597be6d Author: Simon Beaumont datalligator@icloud.com Date: Thu Feb 1 20:46:18 2024 +0000
Added provisional algebra module to Data. Pause to consider algebra.
commit 073ddd0f17c1ee1368e8aafa6b9ab087de4c295c Author: Simon Beaumont datalligator@icloud.com Date: Thu Feb 1 11:02:06 2024 +0000
Renamed Rational to Math submodule from Data
commit 38d7a319b2173aeb2ef4f9b839762b21f0a5d1f2 Author: Simon Beaumont datalligator@icloud.com Date: Wed Jan 31 15:50:39 2024 +0000
Something like complex rational arithmetic at last.
commit b2db44ca1104fe58d2ace0bdfe8ced4911e9f9b0 Author: Simon Beaumont datalligator@icloud.com Date: Thu Jan 25 20:52:11 2024 +0000
Update README.md
a more firm direction of travel but as ever plans remain loose as this is a voyage of discovery and fair winds permit such progress as curiosity drives us
commit b730e62d4eff6ca8ed768d36690554ea54fa6d2b Author: Simon Beaumont datalligator@icloud.com Date: Thu Jan 25 19:52:49 2024 +0000
Looks like what we wanted in terms of indexed linear monads
commit 3102c6026a6037afd14b8093d1259a07437d1026 Author: Simon Beaumont datalligator@icloud.com Date: Sat Jan 20 13:31:24 2024 +0000
new modules
commit 980bbc16c0ee4272c3214efe521d288c998a26ef Author: Simon Beaumont datalligator@icloud.com Date: Sat Jan 20 13:29:49 2024 +0000
Reorg now exclusively Idris project.
commit 06e8f4b279c1b998fe86a489530027d42311f9af Author: Simon Beaumont datalligator@icloud.com Date: Fri Jan 19 21:10:27 2024 +0000
Some stuff (off track) but I need to learn Idris.
commit 028ee3875cecff38f764d254d4cafd1904bc5eb5 Author: Simon Beaumont datalligator@icloud.com Date: Wed Jan 17 16:26:42 2024 +0000
Still doing battle with idris interfaces
commit 7b3afb3cdc8ceaec8620265509f4b9bce546a2b3 Author: Simon Beaumont datalligator@icloud.com Date: Tue Jan 16 23:14:04 2024 +0000
fix the link to Qiamera
commit b52a8d5733e01e9221d07900cdc3c2d757a434d1 Author: Simon Beaumont datalligator@icloud.com Date: Tue Jan 16 23:06:28 2024 +0000
Updated readme to make more sense - maybe
commit 9cd71cec786f943a516a4aaf5704b211bee2c889 Author: Simon Beaumont datalligator@icloud.com Date: Tue Jan 16 22:21:39 2024 +0000
now with lolipops !
commit 07b6f4d36f055661709f7793b78b63f09342f117 Author: Simon Beaumont datalligator@icloud.com Date: Tue Jan 16 21:16:11 2024 +0000
Idris2 and Haskell repo - investigating linear types and indexed monads
commit d96edb10e49e51828cfdc94536a06d146101678b Author: Simon Beaumont datalligator@icloud.com Date: Tue Jan 16 19:59:42 2024 +0000
make a concrete indexed monad in idris