git.iko.soy/Idris-dev
on 6fe15ea help sign in
Idris-dev/test/docs002
4 files
../ docs002.idrAllow type providers to have docstrings expectedAllow type providers to have docstrings inputAllow type providers to have docstrings runAllow type providers to have docstrings