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

[Serguey Zefirov]

What I get from
http://www.cs.nott.ac.uk/~nad/publications/danielsson-norell-mixfix.pdf
is that there are plans to specify priorities as directed acyclic
graph.

2010/6/28 Vag Vagoff <vag.vagoff at gmail.com>:
> Unlimited floatpoint priorities will be even better.
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>