Re: [Agda] : vs. ∶

Dominique Devriese dominique.devriese at
Thu Nov 29 14:03:49 CET 2012

2012/11/29 Andreas Abel <andreas.abel at>:
> Not sure the epsilon should be used for Agda's typing relation.  I associate
> the set-membership with it.

Me too.

> I'd prefer the RATIO symbol (fake colon) to the epsilon.



More information about the Agda mailing list