Docs
Agda
agda
Versions
v2.6.0
Timeout
16s
Test Frameworks
Agda
Packages
v2.6.0
stdlib
Cubical
Languages
Edit on GitHub