@hackage agda-snippets dependencies
11 results
@hackage/network-uri
URI manipulation
@hackage/base
Core data structures and operations
@hackage/mtl
Monad classes for transformers, using functional dependencies
@hackage/xhtml
An XHTML combinator library
@hackage/containers
Assorted concrete container types
@hackage/Agda
A dependently typed functional programming language and proof assistant
@hackage/network-uri
URI manipulation
@hackage/base
Core data structures and operations
@hackage/agda-snippets
Render just the Agda snippets of a literate Agda file to HTML
@hackage/transformers
Concrete functor and monad transformers
@hackage/Agda
A dependently typed functional programming language and proof assistant