[Agda] question about instance arguments

Andreas Abel abela at chalmers.se
Sat Dec 6 09:37:34 CET 2014


Big thanks also for this article, which is a very nice tutorial on 
universes and universe polymorphism in Agda!!  --Andreas

On 06.12.2014 05:41, Peter Selinger wrote:
> 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


-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/


More information about the Agda mailing list