[Agda] Floatpoint priorities (to wish list)

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Mon Jun 28 14:57:10 CEST 2010


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


More information about the Agda mailing list