[Agda] A Demonstration of Agda by Alan Jeffrey

Nils Anders Danielsson nad at chalmers.se
Sat Mar 23 23:41:47 CET 2013


On 2013-03-23 23:07, Guillaume Brunerie wrote:
> I think the name of some commands changed at some point and now
> "refine" does something completely different.

I can't recall any major renaming of commands.

-- 
/NAD


More information about the Agda mailing list