[Agda] Re: Floatpoint priorities (to wish list)

Vag Vagoff vag.vagoff at gmail.com
Mon Jun 28 14:27:08 CEST 2010


Unlimited floatpoint priorities will be even better.


More information about the Agda mailing list