TypeDD-Samples icon indicating copy to clipboard operation
TypeDD-Samples copied to clipboard

Published 20 hours ago • verified publisher icon edwinb

Wrong word in Ch13/Vending.idr

Open torchlard opened this issue 6 years ago • 0 comments

in line 91, do Just x <- GetInput | Nothig => do Display "Invalid input" Nothig -> Nothing

torchlard avatar Aug 13 '18 15:08 torchlard