idris-lang/Idris-dev — pull request #1571 by david-christiansen (2014-10-02 22:36:06+00:00)
Title: Support nested quasiquotation

People keep asking about it, and it turns out that the same elaboration procedure actually works, so why not? I still can't think of a use case though.