@hackage agda-snippets dependencies

11 results

Monad classes for transformers, using functional dependencies

Assorted concrete container types

Core data structures and operations

An XHTML combinator library

URI manipulation

A dependently typed functional programming language and proof assistant

Concrete functor and monad transformers

Core data structures and operations

URI manipulation

Render just the Agda snippets of a literate Agda file to HTML

A dependently typed functional programming language and proof assistant