git.iko.soy/Idris-dev
on dff4fcd help sign in
Idris-dev/test/effects003/expected
43 lines 679 B history raw
1hangman.idr:204:8-13:
2This style of tactic proof is deprecated. See %runElab for the replacement.
3------------
56 guesses left
6Enter guess: No, sorry
7------------
95 guesses left
10Enter guess: Good guess!
11----ee------
135 guesses left
14Enter guess: Good guess!
15----ee---i--
175 guesses left
18Enter guess: Good guess!
19-o--ee---i--
215 guesses left
22Enter guess: Good guess!
23-offee---i--
255 guesses left
26Enter guess: Good guess!
27coffee-c-i--
295 guesses left
30Enter guess: Good guess!
31coffeesc-i--
335 guesses left
34Enter guess: Good guess!
35coffeesc-ip-
375 guesses left
38Enter guess: Good guess!
39coffeescrip-
415 guesses left
42Enter guess: Good guess!
43You won! Successfully guessed coffeescript