idris-0.9.13: test/idrisdoc005/expected

Type checking ./TestTracing.idr
TestTracing: Check
Prelude.Bool: Check