Exceed onDemand is a program which enables you to use the applications listed below. The applications themselves run on a remote computer. You can use the service from student PCs, or from your own computer if you first install the Exceed onDemand program.
Functional Programming Language
The following links are to external sites (links open in a new tab):
2.6.0.1 V1
You can install this software on your own computer.
Available via Software Hub on Windows computers.
Can be installed on personally owned devices, download from this page:
https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download
Search for software used at Sussex:
Or use these links to filter the list: