[Agda] Agda Unique type

Dmytro Starosud d.starosud at gmail.com
Sat Oct 13 21:39:24 CEST 2012


Yes, such types are supported in Clean/ATS/Mercury.

Thanks,
Dmytro

2012/10/13 Nils Anders Danielsson <nad at chalmers.se>

> On 2012-10-12 20:51, Dmytro Starosud wrote:
>
>> Could you tell me please whether there is anything to support unique
>> types in Agda?
>>
>
> Do you mean uniqueness types?
>
> --
> /NAD
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20121013/d098c716/attachment.html


More information about the Agda mailing list