Comments

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

  • Inline Comment
-- This is a comment!
  • Region comment
{-
    This is a comment!

-}