A comment is introduced in the same fashion as in Haskell=/=Agda.

• Inline Comment
-- This is a comment!

• Region comment
{-
This is a comment!

-}