[Agda] Data.Rational

[Li Nuo]

Oh, I think his definition 1 is quite similar to what we call "definable
quotient structures". When we wrote it, his work has not been published yet
so we didn't relate it with our work..... I think it would be interesting
to compare our definitions. Thank you!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140311/248ea93b/attachment.html