Skip to content

Instantly share code, notes, and snippets.

@bavardage
Created May 26, 2009 20:01
Show Gist options
  • Save bavardage/118258 to your computer and use it in GitHub Desktop.
Save bavardage/118258 to your computer and use it in GitHub Desktop.
let list = (cons 1n (cons 1n nil)),
nextfib = λ l. (cons (putNat (addN (head l) (head (tail l)))) l)
in
(putNat (head (iterate 25n nextfib list)))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment