agda / agda-stdlib
git clone https://github.com/agda/agda-stdlib.git
The Agda standard library
+0
stars, 24h · #67,943
+1
stars, 7 days · #48,984
+~4
stars, 30 days · #50,045
680
★ total · +0% this week
274
forks · 344 open issues
Star history (as recorded here)
LanguageAgda
License—
Created2014-01-17 (12y ago)
Last push4d ago
OwnerOrganization
GitHub topics
Links
- GitHub: github.com/agda/agda-stdlib
- Homepage: https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary
- Releases · Issues · Hacker News mentions
README
Loading README…