[Agda] importing syntax declarations

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Thu Nov 25 14:30:52 CET 2010


On 2010-11-25 13:03, Benedict Kavanagh wrote:
> I recently upgraded to 2.2.8. I am experimenting with the NotSoFresh
> Agda development by Pouillard/Pottier,
> http://nicolaspouillard.fr/publis/pouillard-pottier-fresh-look-agda-2010/
> which uses the _:_ operator from Function.agda.

My guess is that this work was developed using version 0.3 of the
library. Different versions of the library are not (entirely) compatible
with each other.

-- 
/NAD


More information about the Agda mailing list