[Agda] message of parameterized

Nils Anders Danielsson nad at chalmers.se
Fri Sep 7 10:46:03 CEST 2012

Previous message: [Agda] message of parameterized
Next message: [Agda] Forget Hurken's Paradox, Agda has a quicker route to success
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2012-09-07 10:24, Serge D. Mechveliani wrote:
> Color would help. Probably it has sense to also surround it with an
> extra pair of blanks.

Please create a ticket for this suggestion on the bug tracker.

-- 
/NAD

Previous message: [Agda] message of parameterized
Next message: [Agda] Forget Hurken's Paradox, Agda has a quicker route to success
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list