idris-1.3.3: test/idrisdoc005/expected.out

TestTracing: Check
Prelude.Bool: Check