Skip to content

Language Agda

Jump to bottom
kazk edited this page Mar 11, 2019 · 6 revisions

Status

Unreleased

Versions

2.6.0

Test Frameworks

None. Make the program type check.

Timeout

12 seconds

Packages

None

Services

None

About

Reference

Tutorials

Kata QA

Clone this wiki locally