idris-1.3.3: test/idrisdoc003/expected.out

Data types are documented