test029.idr:29:25-29:
   |
29 | simple.append_lemma_2 = proof {
   |                         ~~~~~
This style of tactic proof is deprecated. See %runElab for the replacement.

test029.idr:36:25-29:
   |
36 | simple.append_lemma_1 = proof {
   |                         ~~~~~
This style of tactic proof is deprecated. See %runElab for the replacement.