lentil-1.5.10.0: test/test-files/lang-comm/agda.agda

-- TODO: single
-- comment
-- todo single2

someOther = "Привет \"мир\"\n" -- string
char' = '∀' -- char

{- todo block1 -}
{- todo block2 [tog] -}