Agda

Status

Beta

Versions

2.6.0.1

Test Frameworks

None. Make the program type check.

Timeout

16 seconds

Packages

• stdlib v1.0.1
• Cubical b1fddc15 (latest compatible with 2.6.0)

Services

None

Language ID

agda