[Agda] Agda Unique type

Nils Anders Danielsson nad at chalmers.se
Sat Oct 13 17:45:00 CEST 2012


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


More information about the Agda mailing list