idris-0.9.20: test/proof001/expected
test029.idr:29:25-30: This style of tactic proof is deprecated. See %runElab for the replacement. test029.idr:36:25-30: This style of tactic proof is deprecated. See %runElab for the replacement.
test029.idr:29:25-30: This style of tactic proof is deprecated. See %runElab for the replacement. test029.idr:36:25-30: This style of tactic proof is deprecated. See %runElab for the replacement.