hangman.idr:204:8-13:
This style of tactic proof is deprecated. See %runElab for the replacement.
------------

6 guesses left
Enter guess: No, sorry
------------

5 guesses left
Enter guess: Good guess!
----ee------

5 guesses left
Enter guess: Good guess!
----ee---i--

5 guesses left
Enter guess: Good guess!
-o--ee---i--

5 guesses left
Enter guess: Good guess!
-offee---i--

5 guesses left
Enter guess: Good guess!
coffee-c-i--

5 guesses left
Enter guess: Good guess!
coffeesc-i--

5 guesses left
Enter guess: Good guess!
coffeesc-ip-

5 guesses left
Enter guess: Good guess!
coffeescrip-

5 guesses left
Enter guess: Good guess!
You won! Successfully guessed coffeescript
