idris-0.9.20: test/interactive010/input

:type ++
:core /
:doc +
:wc +
:printdef -
:spec /
:patt /
/
++
:whnf /