jespercockx / lagda-slides-template

A template for creating Beamer slides with literate Agda code

This repository is not active

About

A template for creating Beamer slides with literate Agda code

Languages

Language:Agda 86.8%Language:Makefile 13.2%