@hackage / hakyll-alectryon

Hakyll extension for rendering Coq code using Alectryon

Latest0.2.0.0

Dependencies

library:hakyll-alectryon (11 dependencies)

@hackage / pandoc-types Types for representing a structured document
- Version: <1.24
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.9 && <5
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: <1.6
- License: BSD-3-Clause
@hackage / pandoc Conversion between markup formats
- Version: <3.11
- License: GPL-2.0-or-later
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: <2.4
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: <2.2
- License: BSD-2-Clause
@hackage / aeson Fast JSON parsing and encoding
- Version: <2.4
- License: BSD-3-Clause
@hackage / process Process libraries
- Version: <1.7
- License: BSD-3-Clause
@hackage / hakyll A static website compiler library
- Version: >=4 && <4.18
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: <0.13
- License: BSD-3-Clause
@hackage / optparse-applicative Utilities and combinators for parsing command line options
- Version: <0.20
- License: BSD-3-Clause