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