Parity.idr:17:18-23:
This style of tactic proof is deprecated. See %runElab for the replacement.
Parity.idr:24:18-23:
This style of tactic proof is deprecated. See %runElab for the replacement.
test015.idr:88:15-20:
This style of tactic proof is deprecated. See %runElab for the replacement.
test015.idr:97:16-21:
This style of tactic proof is deprecated. See %runElab for the replacement.
test015.idr:107:20-25:
This style of tactic proof is deprecated. See %runElab for the replacement.
test015.idr:142:20-25:
This style of tactic proof is deprecated. See %runElab for the replacement.
00101010
01011001
010000011
