## Literate agda with markdown

This is a `.lagda.md` file

```agda
module TestMd where

```

Here is some more text.