tutorial002.idr:41:25-29:
This style of tactic proof is deprecated. See %runElab for the replacement.
tutorial002.idr:48:18-22:
This style of tactic proof is deprecated. See %runElab for the replacement.
tutorial002.idr:54:18-22:
This style of tactic proof is deprecated. See %runElab for the replacement.