Re: [Agda] : vs. ∶

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


2012/11/29 Andreas Abel <andreas.abel at ifi.lmu.de>:
> 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.

+1

Dominique


More information about the Agda mailing list