Software available with Exceed onDemand

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.

Agda

Functional Programming Language

Compatible with

WINDOWS

MAC

LINUX

Help resources

The following links are to external sites (links open in a new tab):

• Online Documentation

Versions

2.6.0.1 V1

Installed on

Exceed onDemand

You can install this software on your own computer.

Notes on availability

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