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