Update samples file

lib/linguist/samples.json

@@ -3,6 +3,9 @@
     "ABAP": [
       ".abap"
     ],
+    "Agda": [
+      ".agda"
+    ],
     "Apex": [
       ".cls"
     ],
@@ -165,6 +168,9 @@
     "LFE": [
       ".lfe"
     ],
+    "Literate Agda": [
+      ".lagda"
+    ],
     "Literate CoffeeScript": [
       ".litcoffee"
     ],
@@ -454,8 +460,8 @@
       ".gemrc"
     ]
   },
-  "tokens_total": 416718,
+  "tokens_total": 417572,
-  "languages_total": 474,
+  "languages_total": 476,
   "tokens": {
     "ABAP": {
       "*/**": 1,
@@ -716,6 +722,64 @@
       "pos": 2,
       "endclass.": 1
     },
+    "Agda": {
+      "module": 3,
+      "NatCat": 1,
+      "where": 2,
+      "open": 2,
+      "import": 2,
+      "Relation.Binary.PropositionalEquality": 1,
+      "-": 21,
+      "If": 1,
+      "you": 2,
+      "can": 1,
+      "show": 1,
+      "that": 1,
+      "a": 1,
+      "relation": 1,
+      "only": 1,
+      "ever": 1,
+      "has": 1,
+      "one": 1,
+      "inhabitant": 5,
+      "get": 1,
+      "the": 1,
+      "category": 1,
+      "laws": 1,
+      "for": 1,
+      "free": 1,
+      "EasyCategory": 3,
+      "(": 36,
+      "obj": 4,
+      "Set": 2,
+      ")": 36,
+      "_": 6,
+      "{": 10,
+      "x": 34,
+      "y": 28,
+      "z": 18,
+      "}": 10,
+      "id": 9,
+      "single": 4,
+      "r": 26,
+      "s": 29,
+      "assoc": 2,
+      "w": 4,
+      "t": 6,
+      "Data.Nat": 1,
+      "same": 5,
+      ".0": 2,
+      "n": 14,
+      "refl": 6,
+      ".": 5,
+      "suc": 6,
+      "m": 6,
+      "cong": 1,
+      "trans": 5,
+      ".n": 1,
+      "zero": 1,
+      "Nat": 1
+    },
     "ApacheConf": {
       "ServerSignature": 1,
       "Off": 1,
@@ -23862,6 +23926,98 @@
       "info": 1,
       "reproduce": 1
     },
+    "Literate Agda": {
+      "documentclass": 1,
+      "{": 35,
+      "article": 1,
+      "}": 35,
+      "usepackage": 7,
+      "amssymb": 1,
+      "bbm": 1,
+      "[": 2,
+      "greek": 1,
+      "english": 1,
+      "]": 2,
+      "babel": 1,
+      "ucs": 1,
+      "utf8x": 1,
+      "inputenc": 1,
+      "autofe": 1,
+      "DeclareUnicodeCharacter": 3,
+      "ensuremath": 3,
+      "ulcorner": 1,
+      "urcorner": 1,
+      "overline": 1,
+      "equiv": 1,
+      "fancyvrb": 1,
+      "DefineVerbatimEnvironment": 1,
+      "code": 3,
+      "Verbatim": 1,
+      "%": 1,
+      "Add": 1,
+      "fancy": 1,
+      "options": 1,
+      "here": 1,
+      "if": 1,
+      "you": 3,
+      "like.": 1,
+      "begin": 2,
+      "document": 2,
+      "module": 3,
+      "NatCat": 1,
+      "where": 2,
+      "open": 2,
+      "import": 2,
+      "Relation.Binary.PropositionalEquality": 1,
+      "-": 21,
+      "If": 1,
+      "can": 1,
+      "show": 1,
+      "that": 1,
+      "a": 1,
+      "relation": 1,
+      "only": 1,
+      "ever": 1,
+      "has": 1,
+      "one": 1,
+      "inhabitant": 5,
+      "get": 1,
+      "the": 1,
+      "category": 1,
+      "laws": 1,
+      "for": 1,
+      "free": 1,
+      "EasyCategory": 3,
+      "(": 36,
+      "obj": 4,
+      "Set": 2,
+      ")": 36,
+      "_": 6,
+      "x": 34,
+      "y": 28,
+      "z": 18,
+      "id": 9,
+      "single": 4,
+      "r": 26,
+      "s": 29,
+      "assoc": 2,
+      "w": 4,
+      "t": 6,
+      "Data.Nat": 1,
+      "same": 5,
+      ".0": 2,
+      "n": 14,
+      "refl": 6,
+      ".": 5,
+      "suc": 6,
+      "m": 6,
+      "cong": 1,
+      "trans": 5,
+      ".n": 1,
+      "zero": 1,
+      "Nat": 1,
+      "end": 2
+    },
     "Literate CoffeeScript": {
       "The": 2,
       "**Scope**": 2,
@@ -42068,6 +42224,7 @@
   },
   "language_tokens": {
     "ABAP": 1500,
+    "Agda": 376,
     "ApacheConf": 1449,
     "Apex": 4408,
     "AppleScript": 1862,
@@ -42114,6 +42271,7 @@
     "Lasso": 9849,
     "Less": 39,
     "LFE": 1711,
+    "Literate Agda": 478,
     "Literate CoffeeScript": 275,
     "LiveScript": 123,
     "Logos": 93,
@@ -42187,6 +42345,7 @@
   },
   "languages": {
     "ABAP": 1,
+    "Agda": 1,
     "ApacheConf": 3,
     "Apex": 6,
     "AppleScript": 7,
@@ -42233,6 +42392,7 @@
     "Lasso": 4,
     "Less": 1,
     "LFE": 4,
+    "Literate Agda": 1,
     "Literate CoffeeScript": 1,
     "LiveScript": 1,
     "Logos": 1,
@@ -42304,5 +42464,5 @@
     "Xtend": 2,
     "YAML": 1
   },
-  "md5": "74bfb38a834e3f3824da03b5188fee74"
+  "md5": "6a064f3fdb191614ff6f065a365cb3d7"
 }