[Agda] Level constraints

Martin Escardo m.escardo at cs.bham.ac.uk
Thu Nov 14 23:41:35 CET 2013


On 14/11/13 22:39, Martin Escardo wrote:
>
>
> On 14/11/13 22:20, Martin Escardo wrote:
>> (E.g. Licata and Schulman's LICS
>> paper
>
> Sorry. Schulman. Apologies to Mike.

Can't get this right. I need to disable my spell un-checker.

Shulman.

M.


More information about the Agda mailing list