idris-1.3.3: test/docs003/input.in

:doc Functor
:doc mine
:doc another