Idris

idris

Versions

v1.3.x

Timeout

12s

Test Frameworks

  • Specdris
Edit on GitHub