GitHub repository: Double-oxygeN/ial
Description: The Iowa Agda Library