@hackage agda-snippets dependencies

10 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

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