A template for creating Beamer slides with literate Agda code
Primary LanguageAgda
This repository is not active