[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