agda/agda — pull request #18 by jespercockx (2014-10-18 13:42:08+00:00)
Title: [ refactor ] quoteKit returns record instead of tuple

In preparation of fixing quoteContext