[Agda] Floatpoint priorities (to wish list)

Vag Vagoff vag.vagoff at gmail.com
Mon Jun 28 14:22:16 CEST 2010

Previous message: [Agda] Modeling reflective languages
Next message: [Agda] Floatpoint priorities (to wish list)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

What about floatpoint priorities in Infix declarations? In range 0.0 .. 1.0 inclusively. It will be very convenient.

Previous message: [Agda] Modeling reflective languages
Next message: [Agda] Floatpoint priorities (to wish list)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list