Sample code from "Type Driven Development with Idris"
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
torchlard opened this issue 6 years ago · comments
in line 91, do Just x <- GetInput | Nothig => do Display "Invalid input" Nothig -> Nothing
