idris-1.3.3: test/idrisdoc008/expected.out

Abstract members are documented
Public members are documented