diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-06-25 14:04:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-06-25 14:04:13 -0400 |
| commit | 4d2154f281d63408567a4f063dc4a5f9846cbf44 (patch) | |
| tree | aa657a36e2c449a4aa47aac3b924487db6097d9a /src/elab_env.sml | |
| parent | 0a45f32c63f2d9a3df8c8ea15ea67b8e8c0fef5a (diff) | |
New syntactic shorthand for antiquoting subqueries
Diffstat (limited to 'src/elab_env.sml')
0 files changed, 0 insertions, 0 deletions