@hackage / hakyll-alectryon

Hakyll extension for rendering Coq code using Alectryon

0.2.0.0

Dependents