| readLine : IOSpec String | |
| readLine = ReadLine (\s => Pure s) | |
| prnLine : String -> IOSpec () | |
| prnLine s = WriteLine s (Pure ()) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
| readLine : IOSpec String | |
| readLine = ReadLine (\s => Pure s) | |
| prnLine : String -> IOSpec () | |
| prnLine s = WriteLine s (Pure ()) |