Created
April 26, 2015 14:25
-
-
Save SteveGilham/308f0d0cbc90f8ca8a4b to your computer and use it in GitHub Desktop.
Continuations -- background
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| type Request = Getq | Putq of char | |
| type Response = Getp of char | Putp | |
| type Dialog = Response list -> Request list |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment