Parity.idr:17:18-22: | 17 | parity_lemma_2 = proof { | ~~~~~ This style of tactic proof is deprecated. See %runElab for the replacement. Parity.idr:24:18-22: | 24 | parity_lemma_1 = proof { | ~~~~~ This style of tactic proof is deprecated. See %runElab for the replacement. test015.idr:88:15-19: | 88 | Main.ntbOdd = proof { | ~~~~~ This style of tactic proof is deprecated. See %runElab for the replacement. test015.idr:97:16-20: | 97 | Main.ntbEven = proof { | ~~~~~ This style of tactic proof is deprecated. See %runElab for the replacement. test015.idr:107:20-24: | 107 | Main.adc_lemma_2 = proof { | ~~~~~ This style of tactic proof is deprecated. See %runElab for the replacement. test015.idr:142:20-24: | 142 | Main.adc_lemma_1 = proof { | ~~~~~ This style of tactic proof is deprecated. See %runElab for the replacement. 00101010 01011001 010000011