[Agda] : vs. ∶

Wolfgang Jeltsch wolfgang at cs.ioc.ee
Thu Nov 29 16:51:34 CET 2012

Am Donnerstag, den 29.11.2012, 11:10 +0100 schrieb Nils Anders
> On 2012-11-29 03:22, Andreas Abel wrote:
> > I'd prefer the RATIO symbol (fake colon) to the epsilon.
> Any other opinions?


RATIO is for ratios. Type membership is completely different from
ratios. So the choice of RATIO is just plain wrong.

In addition, we have the confusion between ∶ and : (which can cause a
lot of pain, especially to newcomers).

Best wishes,

More information about the Agda mailing list