blagda-0.1.0.1: Shake frontend for Agda blogging
Safe HaskellSafe-Inferred
LanguageHaskell2010

Blagda.Equations

Documentation

hideSteps :: Bool -> [Tag Text] -> [Tag Text] Source #