[Agda] Interactive programs in Agda

[Anton Setzer]

Dear all,

I have developed a first version of a library
for writing interactive programs in Agda, including
simple graphics applications (a very simple drawing program).

The library is available from
http://www.cs.swan.ac.uk/~csetzer/software/agda2/IOLib/
and is linked from
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Libraries

Anton
-- 
---------------------------------------
Anton Setzer
Department of Computer Science
Swansea University
Singleton Park
Swansea SA2 8PP
UK

Telephone:
(national)        (01792) 513368
(international) +44 1792  513368
Fax:
(national)        (01792) 295708
(international) +44 1792  295708
Visiting address:
Faraday Building,
Computer Science Dept.
2nd floor, room 211.
Email: a.g.setzer at swan.ac.uk
WWW:
http://www.cs.swan.ac.uk/~csetzer/
---------------------------------------