Skip to content

Instantly share code, notes, and snippets.

@alexeyr

alexeyr/gist:1379293

Created November 19, 2011 20:07
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 alexeyr/1379293 to your computer and use it in GitHub Desktop.
Save alexeyr/1379293 to your computer and use it in GitHub Desktop.
Download ZIP
Macro use case: type lambdas
Raw
gistfile1.txt
Macro:
S ==> ST[S, A]
Convert to:
({type λ[S] = ST[S, A]})#λ
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment