/revealjs-agda-template

A quick template for creating Agda slides with Reveal.js

Primary LanguageCSS

Watchers