3 ms·
That's interesting; no I wasn't aware of it. Will check it out sometime, thanks.
by atomicnature 3y ago
That's interesting; no I wasn't aware of it. Will check it out sometime, thanks.
- iso8859-1 3y agoThere's a list of packages here: https://github.com/stefan-hoeck/idris2-pack-db/blob/main/STATUS.md https://github.com/stefan-hoeck/idris2-pack-db/blob/main/STA...