idris-1.3.3: test/basic002/expected.out

test006.idr:25:23-27:
   |
25 | Main.parity_lemma_2 = proof {
   |                       ~~~~~
This style of tactic proof is deprecated. See %runElab for the replacement.

test006.idr:32:23-27:
   |
32 | Main.parity_lemma_1 = proof {
   |                       ~~~~~
This style of tactic proof is deprecated. See %runElab for the replacement.

[False, True, False, True, False, True]