[Agda] Light grey background?

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


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



More information about the Agda mailing list