[Agda] question about instance arguments

[Peter Selinger]

I also populated the article on Universe Polymorphism, which was
previously a stub:

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.UniversePolymorphism

I hope I got it mostly right. -- Peter

Andreas Abel wrote:
> 
> Excellent!  Big thanks. --Andreas
> 
> On 04.12.2014 17:45, Peter Selinger wrote:
> > I've updated this page of the reference manual accordingly:
> >
> > http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.InstanceArguments
> >
> > -- Peter