Skip to content

Instantly share code, notes, and snippets.

@jrslepak

jrslepak/gist:5716442

Created June 5, 2013 19:19
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 jrslepak/5716442 to your computer and use it in GitHub Desktop.
Save jrslepak/5716442 to your computer and use it in GitHub Desktop.
Download ZIP
Example proposed syntax for cross-language metafunctions in Redex
Raw
gistfile1.rkt
(define-language L1
(a integer)
(e variable-not-otherwise-mentioned))
(define-language L2
(b string)
(e integer))
(define-multilang-metafunction [L1 L2]
metafun-name : a L1:e -> b L2:e
<clause> ...)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment