/lagda-slides-template

A template for creating Beamer slides with literate Agda code

Primary LanguageAgda

Stargazers