Update `agda-stdlib` to nightly - Githubissues

jonsterling / agda-calf

A cost-aware logical framework, embedded in Agda.

https://jonsterling.github.io/agda-calf/

Apache License 2.0

55 stars 2 forks source link

Update `agda-stdlib` to nightly #33

Closed HarrisonGrodin closed 1 year ago