See what the GitHub community is most excited about today.
The Agda standard library
A new Categories library for Agda