Docs
Idris
idris
Versions
v1.3.x
Timeout
12s
Test Frameworks
Specdris
Languages
Edit on GitHub