lhs2tex-1.12: Testsuite/comments.snip
Inline comments: |fun -- ny| und |first {- second -} third|.
> a `elem` [] = False -- vordefiniert
> a `elem` (b : bs) = a == b {- lazy -} || a `elem` bs
Inline comments: |fun -- ny| und |first {- second -} third|.
> a `elem` [] = False -- vordefiniert
> a `elem` (b : bs) = a == b {- lazy -} || a `elem` bs