[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