Library for Interactive Programs in Agda

This library allows to write interactive programs including some graphics applications in the dependently typed programming language and theorem prover Agda2. The examples include a simple drawing program.
Anton Setzer
Last modified: Fri Jun 18 21:59:22 BST 2010