Language Agda

Jump to bottom

kazk edited this page Jun 21, 2019 · 6 revisions

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