diff --git a/grammars/language-idris.cson b/grammars/language-idris.cson
index 0b10e21..2cd966e 100644
--- a/grammars/language-idris.cson
+++ b/grammars/language-idris.cson
@@ -237,6 +237,22 @@ repository:
               }
             ]
         }
+        {
+          name: 'meta.parameter.named.idris'
+          comment: '(a, b, c : Nat)'
+          begin: "\\("
+          end: "\\)"
+          patterns:
+            [
+              {
+                include: '#type_signature'
+              }
+              {
+                name: 'entity.name.tag.idris'
+                match: "([\\w']+)\\s*((?=(,|:)))"
+              }
+            ]
+        }
         {
           name: 'meta.parameter.implicit.idris'
           comment: '{auto p : a = b}'
@@ -271,6 +287,9 @@ repository:
         {
           include: '#language_const'
         }
+        {
+          include: '#prelude_type'
+        }
       ]
   function_signature:
     name: 'meta.function.type-signature.idris'
@@ -324,4 +343,12 @@ repository:
           match: '\\^[A-Z@\\[\\]\\\\\\^_]'
         }
       ]
+  prelude_type:
+    patterns:
+      [
+        {
+          name: 'constant.language.idris'
+          match: '\\b(Type|Exists|World|IO|IntTy|FTy|Foreign|File|Mode|Dec|Bool|so|Ordering|Either|Fin|IsJust|List|Maybe|Nat|LTE|GTE|GT|LT|Stream|StrM|Vect|Not|Lazy|Inf|FalseElim)\\b'
+        }
+      ]
 uuid: '4dd16092-ffa5-4ba4-8075-e5da9f368a72'