idris-0.9.20: test/tutorial004/expected
tutorial004.idr:46:14-19: This style of tactic proof is deprecated. See %runElab for the replacement. tutorial004.idr:53:14-19: This style of tactic proof is deprecated. See %runElab for the replacement.
tutorial004.idr:46:14-19: This style of tactic proof is deprecated. See %runElab for the replacement. tutorial004.idr:53:14-19: This style of tactic proof is deprecated. See %runElab for the replacement.