class Rouge::Lexers::Idris

def self.ascii
  @ascii ||= %w(
    NUL SOH [SE]TX EOT ENQ ACK BEL BS HT LF VT FF CR S[OI] DLE
    DC[1-4] NAK SYN ETB CAN EM SUB ESC [FGRU]S SP DEL
  )
end