agda/agda — pull request #17 by jespercockx (2014-10-10 14:23:49+00:00)
Title: Added support for quoting levels

Second try