Agda

agda

Versions

v2.6.0

Timeout

16s

Test Frameworks

  • Agda

Packages

v2.6.0

Edit on GitHub