git.iko.soy/Idris-dev
on cd7e553 help sign in
Idris-dev/test/proof003/expected
15 lines 616 B history raw
1Parity.idr:17:18-22:
2This style of tactic proof is deprecated. See %runElab for the replacement.
3Parity.idr:24:18-22:
4This style of tactic proof is deprecated. See %runElab for the replacement.
5test015.idr:88:15-19:
6This style of tactic proof is deprecated. See %runElab for the replacement.
7test015.idr:97:16-20:
8This style of tactic proof is deprecated. See %runElab for the replacement.
9test015.idr:107:20-24:
10This style of tactic proof is deprecated. See %runElab for the replacement.
11test015.idr:142:20-24:
12This style of tactic proof is deprecated. See %runElab for the replacement.
1300101010
1401011001
15010000011