[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