agda-snippets-hakyll 0.1 → 0.1.1

raw patch · 2 files changed

+4/−1 lines, 2 files

Files

• agda-snippets-hakyll.cabal +1/−1
• src/Hakyll/Contrib/Agda.hs +3/−0

@@ -1,5 +1,5 @@ name:                agda-snippets-hakyll-version:             0.1+version:             0.1.1 synopsis:            Literate Agda support using agda-snippets, for Hakyll pages. description:         This library provides basic functions to use in Hakyll web-pages to generate                      colourised and hyperlinked Agda source code snippets for literate Agda documents.

@@ -8,6 +8,9 @@          -- * Building Blocks        , defaultFileType        , readLiterateAgda+         -- * Command line options+       , CommandLineOptions (..)+       , defaultOptions        ) where