[Agda] Level constraints

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

Previous message: [Agda] Level constraints
Next message: [Agda] Level constraints
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]


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

Sorry. Schulman. Apologies to Mike.

Previous message: [Agda] Level constraints
Next message: [Agda] Level constraints
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list