ECMAScript back end for Functional Reactive Programming in Agda

Simple bindings for parsing, processing and serializing XML

Simple bindings for parsing, processing and serializing URIs

An makefile with lightweight dependency management

Agda libraries for the semantic web

Bindings to Haskell's IO monad which respect Agda's semantics