idris-0.10: test/interactive010/input

:type ++
:core (/) {a=Double}
:doc +
:wc +
:printdef -
:patt /
/
++
:whnf /