[Agda] Multi-line comments in literate Agda files

[Nils Anders Danielsson]

On 2020-09-11 15:01, Marko Dimjašević wrote:
> Thanks for the pointer, but my hope was I can comment out half a file in
> one stroke, and this isn't it as there are lots of code blocks I'd have to
> invalidate in isolation per your suggestion.

The following seems to work:

```
{-# OPTIONS --warning=noOverlappingTokensWarning #-}

{-
```

```
-}
```

-- 
/NAD