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