[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