class Rouge::Lexers::Idris