Hiya, I've just updated these packages in git and would appreciate a sponsor. Note that agda-stdlib depends on agda-bin depends on agda so you'll need to either arrange to build against the new versions locally or upload and wait for dinstall/mirror push in sequence. :-) Cheers, Iain
Attachment:
signature.asc
Description: Digital signature