idris-0.9.18: test/idrisdoc002/expected

Functions are documented