Post #861176
2026-03-24 20:38 UTC
Not to toot my own horn but I systematically use the curl-based installer for agda-stdlib these days and it's so convenient. 🥰
https://github.com/agda/agda-stdlib/#automated-installation-currently-experimental
Replies (1)
-
@JacquesC2@types.pl 2026-03-25 02:31
@gallais Used it today myself. Worked like a charm - thanks.