[Cuis-dev] [ANN] Arrows

[Luciano Notarfrancesco]

I just made public the repo with Arrows, the computer algebra system I’m
working on: https://github.com/len/Arrows

It’s very technical and I don’t expect it to be of general interest, but
anyone is welcome to try it and let me know what you think, or any problems
you find trying to use it. I uploaded a preinstalled image but I’m not sure
it’s going to work properly… it won’t find the sources of the installed
packages for example, I don’t know what’s the proper way to “release” an
image yet.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20230614/10e29295/attachment.htm>