Ruby-Jekyll agda: Use literate Agda in your Jekyll website!

jekyll-agda

CI tests status badge Latest release badge License badge Maintainability badge Test coverage badge

jekyll-agda is a Jekyll plugin which allows you to use literate Agda for your website and take full advantage of its highlighting and hyperlinking features.

Getting started

Usage

Acknowledgements

Comments