module Rouge::Lexers::Idris::Name