Skip to content

Instantly share code, notes, and snippets.

@grafi-tt
Created July 31, 2014 09:01
Show Gist options
  • Save grafi-tt/5cde393036c617bcd429 to your computer and use it in GitHub Desktop.
Save grafi-tt/5cde393036c617bcd429 to your computer and use it in GitHub Desktop.
let rec f : 'c. unit -> ((unit -> 'a -> 'b) -> 'c) -> 'c = fun () k -> k g
and g () k = f () (fun l -> l () k);;
f () (fun x -> x)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment