Comments

Comments follow the same syntax as in Haskell and Agda. Be aware, Juvix has no support for nested comments.

• Inline Comment

-- This is a comment!

• Region comment

{-
    This is a comment!

-}