Compendium
Search
Search
Dark mode
Light mode
Explorer
Tag: idris
1 item with this tag.
May 06, 2026
Idris — Reference
research
language-reference
idris
dependent-types
functional
theorem-prover