Type checking ./TestFunctions.idr
Functions are documented