@hackage hakyll-agda dependencies

11 results

Concrete functor and monad transformers

An efficient packed Unicode text type.

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

Basic libraries

An XHTML combinator library

Conversion between markup formats

A static website compiler library

A dependently typed functional programming language and proof assistant