[Agda] Floatpoint priorities (to wish list)

[Nils Anders Danielsson]

On 2010-06-28 13:22, Vag Vagoff wrote:
> What about floatpoint priorities in Infix declarations? In range 0.0 ..
> 1.0 inclusively. It will be very convenient.

We have plans to switch to more descriptive fixity declarations, but
have not gotten around to it yet. See "Parsing Mixfix Operators" for
more details:

   http://www.cs.nott.ac.uk/~nad/publications/danielsson-norell-mixfix.html

-- 
/NAD