[Agda] Light grey background?

Jakob von Raumer jakob at von-raumer.de
Sun Apr 26 22:22:42 CEST 2020

Previous message (by thread): [Agda] a strange function type report
Next message (by thread): [Agda] Light grey background?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi all,

what does light grey background shading mean again? It's a bit awkward
to have to be googline something like this...

Cheers

Jakob

Previous message (by thread): [Agda] a strange function type report
Next message (by thread): [Agda] Light grey background?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list