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