name:                agda-snippets
version:             2.4.2.4
x-revision: 1
synopsis:            Render just the Agda snippets of a literate Agda file to HTML
description:         This library provides a very simple function that translates just the code blocks
                     of a literate Agda file to colourised, hyperlinked HTML. The output of this
                     can then be run through Pandoc or other document processors to allow literate 
                     Agda to be comfortably written in any format that allows inline HTML snippets.
                     .
                     There is also a simple command-line application (@agda-snippets@) included 
                     that can be used as a standalone file processor.
                     .
                     The location of library source hyperlinks is configurable, as is the CSS class
                     given to Agda code blocks.
                     .
                     This package is pinned to particular Agda versions, and therefore does not 
                     obey the PVP, as Agda does not. You should use whichever version of this library
                     corresponds to the Agda version you wish to use.
                     .
                     The development version of this library, available from GitHub, may work with
                     development versions of Agda, although it could be broken at any time. If you
                     stick to stable versions, you should be fine.
homepage:            http://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
-- extra-source-files:
cabal-version:       >=1.10

library
  hs-source-dirs:      src
  exposed-modules:     Agda.Contrib.Snippets
  build-depends:       base >= 4.8 && < 4.9
               ,       Agda == 2.4.2.4
               ,       xhtml >= 3000.2.1 && <3000.3
               ,       network-uri >= 2.6 && < 2.7
               ,       containers >= 0.5 && <0.6
               ,       mtl >= 2.1 && < 2.3
  default-language:    Haskell2010

executable agda-snippets
  hs-source-dirs:      app
  main-is:             Main.hs
  ghc-options:         -threaded -rtsopts -with-rtsopts=-N
  build-depends:       base >= 4.7 && < 4.9
                     , agda-snippets
                     , Agda
                     , network-uri
  default-language:    Haskell2010

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