Learn Idris
Problem list
Playground
Login with GitHub
Idris Playground
Idris
v1
v2
Check
Case split
Add clause
Proof search
Type of
Permalink
Working...
Help