module Rouge::Lexers::Idris::Comment