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