Skip to content

Instantly share code, notes, and snippets.

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