GitHub repository: robsimmons/agda-lib
Primary language: Agda
Description: A standard library for Agda