@hackage / hakyll-agda

Wrapper to integrate literate Agda files with Hakyll

Latest0.1.13

Dependencies

library:hakyll-agda (11 dependencies)

@hackage / base Core data structures and operations
- Version: >=3 && <5
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version:
- License: BSD-3-Clause
@hackage / pandoc Conversion between markup formats
- Version:
- License: GPL-2.0-or-later
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / xhtml An XHTML combinator library
- Version:
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / transformers Concrete functor and monad transformers
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / hakyll A static website compiler library
- Version: >=4.7.2.0
- License: BSD-3-Clause
@hackage / Agda A dependently typed functional programming language and proof assistant
- Version: >=2.6.1
- License: MIT
@hackage / directory Platform-agnostic library for filesystem operations
- Version:
- License: BSD-3-Clause