Quasi quoting

[Henrik Nilsson]

Hi Simon,

 > For all I know, no one is using quasi-quotation (although it's a very
 > cool feature, thanks to Geoff Mainland), but I didn't think I should
 > take it for granted!

For info, My PhD student George Giorgidze and myself are using it
for our EDSL Hydra for non-causal modelling and simulation of
physical systems.

Indeed, it is a very cool feature. Actually, for us, almost essential,
as it gives us *principled* control over the syntax of the deep aspects
of our embedding in a way that the usually embedding tricks just don't
provide.

We'll have a look.

Thanks for letting us know!

/Henrik

-- 
Henrik Nilsson
School of Computer Science
The University of Nottingham
nhn at cs.nott.ac.uk