[Agda] Are there unicorns in Agda?

Martin Escardo m.escardo at cs.bham.ac.uk
Fri Nov 11 16:35:40 CET 2011



On 11/11/11 15:15, Andreas Abel wrote:
> I welcome your research
> which would give more precise models.

At the moment it seems that there will be unicorns in such a model, 
although not necessarily boolean valued.

This is the reason I wrote the question.

Martin


More information about the Agda mailing list