agda/test/LaTeXAndHTML/succeed/MdMultiLanguage.lagda.md

a :: Bool
a = True

 ```

data Bool : Set where

true : Bool
false : Bool
aa : {- ``` -} Bool

a : Bool a = true

This is also parsed:

```agda
  module MdQuotedDelim where

        data Bool’ : Set where
            true : Bool’
            false : Bool’
            aa : {- ``` -} Bool’

        a’ : Bool’
        a’ = aa

• This one is not:

  a : Set a = false

• But this one is:

b : Bool
b = false