added idris field to delimiterMap