idris-0.9.13: test/idrisdoc002/expected

Type checking ./TestFunctions.idr
Functions are documented