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

  module MdQuotedDelim where

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

        a : Bool
        a = true