Language Agda

Jump to bottom

kazk edited this page Jun 16, 2020 · 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

Language ID

agda

About

Reference

Tutorials

Kata QA

Clone this wiki locally