Skip to content

Instantly share code, notes, and snippets.

@nyuichi

nyuichi/gist:2319715

Created April 6, 2012 13:21
Show Gist options
  • Save nyuichi/2319715 to your computer and use it in GitHub Desktop.
Save nyuichi/2319715 to your computer and use it in GitHub Desktop.
Download ZIP
de bruijn index
Raw
gistfile1.scm
(define n-0 '(L (L (V 0))))
(define n-1 '(L (L (A (V 1) (V 0)))))
(define n-2 '(L (L (A (V 1) (A (V 1) (V 0))))))
(define n-3 '(L (L (A (V 1) (A (V 1) (A (V 1) (V 0)))))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment