GitHub repository: DimaSamoz/agda-soas
Primary language: Agda
Description: Agda formalisation of second-order abstract syntax