Language Agda

Jump to bottom

kazk edited this page Apr 15, 2019 · 6 revisions

Status

Beta

Versions

2.6.0

Test Frameworks

None. Make the program type check.

Timeout

16 seconds

Packages

None

Services

None

About

Reference

Tutorials

Kata QA

Clone this wiki locally