GitHub repository: pcapriotti/agda-base
Primary language: Agda
Description: Base library for HoTT in Agda