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