hakyll-agda-0.1.13: hakyll-agda.cabal

Cabal-version:      >= 1.10
Name:               hakyll-agda
Version:            0.1.13
Author:             Francesco Mazzoli (f@mazzo.li)
Maintainer:         Francesco Mazzoli (f@mazzo.li)
Build-Type:         Simple
License:            BSD3
License-File:       LICENSE
Category:           Web
Synopsis:           Wrapper to integrate literate Agda files with Hakyll
Tested-With:        GHC==8.4.4
Homepage:           https://github.com/bitonic/hakyll-agda
Bug-Reports:        https://github.com/bitonic/hakyll-agda/issues
Description:        Simple module useful to generate blog posts from literate
                    Agda files.  See <http://mazzo.li/posts/agda-hakyll.html>
                    for more info.

source-repository head
    type:     git
    location: git://github.com/bitonic/hakyll-agda.git

Library
    Build-Depends:    base         >= 3 && < 5
                    , Agda         >= 2.6.1
                    , containers
                    , directory
                    , filepath
                    , hakyll       >= 4.7.2.0
                    , mtl
                    , pandoc
                    , transformers
                    , xhtml
                    , text
    GHC-Options:      -Wall
    Exposed-Modules:  Hakyll.Web.Agda
    Default-Language:   Haskell2010