[Agda] the joys and sorrows of abstraction.

Martin Escardo m.escardo at cs.bham.ac.uk
Thu May 17 00:52:25 CEST 2018



On 16/05/18 23:52, hancock at fastmail.fm wrote:
> Or is there some reason why solid foundations and practical implementations
> should not coincide?

This is the right question.

Martin


More information about the Agda mailing list