git.iko.soy/Idris-dev
on b4dbebd help sign in
Idris-dev/test/effects003/expected
41 lines 581 B history raw
1------------
36 guesses left
4Enter guess: No, sorry
5------------
75 guesses left
8Enter guess: Good guess!
9----ee------
115 guesses left
12Enter guess: Good guess!
13----ee---i--
155 guesses left
16Enter guess: Good guess!
17-o--ee---i--
195 guesses left
20Enter guess: Good guess!
21-offee---i--
235 guesses left
24Enter guess: Good guess!
25coffee-c-i--
275 guesses left
28Enter guess: Good guess!
29coffeesc-i--
315 guesses left
32Enter guess: Good guess!
33coffeesc-ip-
355 guesses left
36Enter guess: Good guess!
37coffeescrip-
395 guesses left
40Enter guess: Good guess!
41You won! Successfully guessed coffeescript