[Agda] Subsetoid, Subgroup ...

Nils Anders Danielsson nad at chalmers.se
Wed Jan 30 14:51:16 CET 2013


On 2013-01-30 13:17, Serge D. Mechveliani wrote:
> But for any occasion, may be, these Sub- guys are in Standard library?

No, I don't think so.

-- 
/NAD


More information about the Agda mailing list