Wrong word in Ch13/Vending.idr #15
Description
in line 91,
do Just x <- GetInput | Nothig => do Display "Invalid input"
Nothig -> Nothing
{{ message }}
in line 91,
do Just x <- GetInput | Nothig => do Display "Invalid input"
Nothig -> Nothing