agda/agda — pull request #16 by jespercockx (2014-10-10 11:54:46+00:00)
Title: Added support for quoting levels

Previously, quoting a level (for example "quoteTerm lzero") always resulted in an "unknown" term.