@hackage hakyll-agda dependencies

10 results

Concrete functor and monad transformers

Monad classes for transformers, using functional dependencies

Library for manipulating FilePaths in a cross platform way.

Platform-agnostic library for filesystem operations

Assorted concrete container types

Core data structures and operations

An XHTML combinator library

Conversion between markup formats

A static website compiler library

A dependently typed functional programming language and proof assistant