This is a test Agda Markdown file.

data Nat : Set where
     zero : Nat
     suc : Nat