issues
search
idris-lang
/
Idris-dev
A Dependently Typed Functional Programming Language
http://idris-lang.org
Other
3.43k
stars
644
forks
source link
Correct minor typo in documentation
#4919
Open
isti115
opened
2 years ago