jespercockx / revealjs-agda-template

A quick template for creating Agda slides with Reveal.js

Geek Repo

Github PK Tool