[Agda] importing syntax declarations

[Nicolas Pouillard]

On Thu, 25 Nov 2010 13:30:52 +0000, Nils Anders Danielsson <nad at Cs.Nott.AC.UK> wrote:
> 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.

Indeed this is the reason.

-- 
Nicolas Pouillard
http://nicolaspouillard.fr