Hash :
3a127c7d
Author :
Date :
2020-06-24T20:30:38
{-
This is a
multiline comment
-}
-- This is a singleline comment
----------------------------------------------------
[
["comment", "{-\n\tThis is a\n\tmultiline comment\n-}"],
["comment", "-- This is a singleline comment"]
]
----------------------------------------------------
In agda there are two kinds of comments:
- Multiline comments wrapped by {- -}
- Singleline comments leading by --