name:                agda-snippets-hakyll
version:             0.1.2.2
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.
                     .
                     It makes use of the @agda-snippets@ library and will (hopefully) be kept up to 
                     date with the latest Agda versions.
homepage:            https://github.com/liamoc/agda-snippets#readme
license:             BSD3
license-file:        LICENSE
author:              Liam O'Connor
maintainer:          liamoc@cse.unsw.edu.au
copyright:           Liam O'Connor, 2015
category:            Dependent Types
build-type:          Simple
cabal-version:       >=1.10

library
  build-depends:       base >=4.7 && <4.10, agda-snippets >= 2.4.2.4
               ,       network-uri >= 2.6 && < 2.7
               ,       hakyll >= 4.6 && < 4.10
               ,       pandoc-types >=1.12 && <1.20
               ,       pandoc >= 1.13 && < 1.20
               ,       filepath >= 1.3 && < 1.5
               ,       directory >= 1.2 && < 1.4
  hs-source-dirs:      src
  default-language:    Haskell2010
  exposed-modules:     Hakyll.Contrib.Agda

source-repository head
  type:     git
  location: https://github.com/liamoc/agda-snippets