[Agda] quotient types

Ondrej Rypacek ondrej.rypacek at gmail.com
Tue Nov 30 14:07:57 CET 2010


Hi All,


What is the best way to approximate quotients in Agda?


Thanks!
Ondrej
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20101130/78630d3e/attachment.html


More information about the Agda mailing list