<!--
```
module MdMultiLanguage where
```
-->

  ```haskell
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
 ```