[Agda] A plea for Set:Set

[Nils Anders Danielsson]

On Tue, May 13, 2008 at 4:12 PM, Thorsten Altenkirch <txa at cs.nott.ac.uk> wrote:
>
>  would it be difficult to make it possible to switch off the checking of
> universe levels.

I recently added the --no-universe-check flag, which does (almost)
what you want.

-- 
/NAD