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!
-}
- Judoc inline comments. These are used to document functions and types. See Judoc for more information.
--- This is a Judoc comment!