GitHub repository: lclem/agda-prelude
Primary language: Agda
Description: Programming library for Agda