Skip to content

Instantly share code, notes, and snippets.

@zane

zane/gist:99856

Created April 22, 2009 15:23
Show Gist options
  • Save zane/99856 to your computer and use it in GitHub Desktop.
Save zane/99856 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.scm
(--> (D || (e_q1 e_q2 ...) || (in-hole F e_1) || φ)
(D || (e_q1 e_q2 ...) || (in-hole F e_2) || φ)
(side-condition (not (null? (apply-reduction-relation λcon-local-rr
(term e_1)))))
(where e_2 ,(first (apply-reduction-relation λcon-local-rr
(term e_1))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment