[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