GitHub repository: pigworker/EGTBS
Primary language: Agda
Description: being the introduction to co-de-Bruijn metasyntax