Skip to content

Instantly share code, notes, and snippets.

@co-dan

co-dan/knot.ml

Last active January 20, 2017 10:09
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save co-dan/16d6ecfa36cd31063fdf28d96ec9518d to your computer and use it in GitHub Desktop.
Save co-dan/16d6ecfa36cd31063fdf28d96ec9518d to your computer and use it in GitHub Desktop.
Download ZIP
Landin's knot
Raw
knot.ml
let x = ref (fun z -> z) in
let f = fun z -> (!x) z in
x := f; f ()
(* f () → (!x) () → f () → ... *)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment