Skip to main content

Agda

Status#

Beta

Versions#

2.6.0.1

Test Frameworks#

None. Make the program type check.

Timeout#

16 seconds

Packages#

Services#

None

Language ID#

agda

Edit this page