[Agda] : vs. ∶

Nils Anders Danielsson nad at chalmers.se
Thu Nov 29 11:10:06 CET 2012


On 2012-11-29 03:22, Andreas Abel wrote:
> I'd prefer the RATIO symbol (fake colon) to the epsilon.

Any other opinions?

-- 
/NAD


More information about the Agda mailing list