| data IOSpec a | |
| = ReadLine (String -> IOSpec a) | |
| | PrintLine String (IOSpec a) | |
| -- Missing constructors |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
| data IOSpec a | |
| = ReadLine (String -> IOSpec a) | |
| | PrintLine String (IOSpec a) | |
| -- Missing constructors |