idris-1.3.3: test/interactive010/input.in

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