Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
data IOSpec : Type -> Type where
ReadLine : (String -> IOSpec a) -> IOSpec a
PrintLine : String -> (() -> IOSpec a) -> IOSpec a
Pure : a -> IOSpec a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment