@hackage agda-server dependencies

14 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

Support for reading and writing UTF8 Strings

A web server for the Snap Framework

Snap: A Haskell Web Framework (core interfaces and types)

Conversion between markup formats

Command line argument processing

HJavaScript is an abstract syntax for a typed subset of JavaScript.

A dependently typed functional programming language and proof assistant