Garrett Figueroa

fedora copr disabled on fedora 30

1

I've been using alunux's copr repo for LSI for months now, but when I updated to fedora 30 the repo was disabled - it doesn't look like it's been updated...

UniMath build fails with 3 make jobs and 8GB RAM on WSL2 Ubuntu

3

I recognize that this build issue is perhaps better suited to the UniMath team directly, but I think it's worth acknowledging here to update the current recommended packages. On less-powerful...

Add support for aarch64 on MacOS and Linux

2

Adding support for the platform for aarch64 would be helpful - for MacOS developers it would make everything more performant on Apple silicon, and for Linux users it would allow...

Adding explicit zero algebras

1

Added initial work for the zero ring and zero abelian group, along with proofs of their uniqueness up to contractible type. Remaining work is refactoring for the rest of the...