)]}'
{
  "id": "a1a418d07ab43753655ff8c8b6959fbe28d54368",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "004d2d8fdaa0100a8fc38ce7347fa0e901bf1abe",
      "name": "Attributes.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8e7dbd4ff154449b87336da90b1ffb0c4fe060dd",
      "name": "AuxRecursor.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3d02fefc249f9889989eca54ab2a1607a61660de",
      "name": "Class.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "55b38b3efd7734fd339c8c511807982c2a43879e",
      "name": "Compiler.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "71061ca225537ddb0d27f0663436ed91ee106de3",
      "name": "Compiler"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c38191e82f38d6a6191c792da7bd01f5aa4ffe38",
      "name": "CoreM.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "047f522f7a3129c8678bb29de532666eb32c4044",
      "name": "Data.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7a72d7ad6b77f0b1488d74f86275d57feb91590c",
      "name": "Data"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1b3fb68e390766e82b208f6e66e807edc90a5ecd",
      "name": "Declaration.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7e0c2a099a6b8f102989f1c54fc53608e1976311",
      "name": "DeclarationRange.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e77e76b27eb3959363b8780dc348b5f6c02c5fc3",
      "name": "DocString.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7a661fbe4d3864ca5dc39607499096c404fa9382",
      "name": "Elab.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "87ad365d53e7c41d912caa877424a72421e8f745",
      "name": "Elab"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ffe54d2352c9d3c6dac80376b7b18012424a749a",
      "name": "Environment.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "84db675133457e635cfdd91ea5949527c76b4ee6",
      "name": "Eval.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0938d7f4d08e9bd90fbff5f1af4bf42238dbf382",
      "name": "Exception.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a5bd76517473881f4700cabd2a9cee60547aebfe",
      "name": "Expr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "55b43b1b9c507e951e790ff249a128201ae270e7",
      "name": "HeadIndex.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "167177f5a999a55f39a779e13a0bf0f3ec232838",
      "name": "Hygiene.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9ac26b66e4365ada92916a03019681eab0deaf08",
      "name": "ImportingFlag.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0b72bad7ed75f4720820d040a36b5d91d7ea4325",
      "name": "InternalExceptionId.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0e62849edb7599242085defa3263045c9a0ed4a0",
      "name": "KeyedDeclsAttribute.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "981151ec51058000fd4084eacdc770ed7bf93477",
      "name": "LazyInitExtension.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "74868ff82767498dd985a4d8181161db4cadad5d",
      "name": "Level.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7939686c32b642c08a0e4af64cf543133f0ab8b1",
      "name": "Linter.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cf24f7760c91da101c994835e14dd6a1d3aa516e",
      "name": "Linter"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f076d7c59611b2fa935d64d762b62bae01d543ea",
      "name": "LoadDynlib.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "21352f5b798cc67077d80a0f1dfa7ca112962fe3",
      "name": "LocalContext.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3076f8489a84a19c334b3df702e0268c8631111f",
      "name": "Log.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0c9ae5a452cbe8886a38405da7b7aa888b2d2131",
      "name": "Message.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0b70d2aca72ed07f68c5ee092673bd526a406e0c",
      "name": "Meta.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "042c3663ac1da3ffa8306cec28aa607fabd208c5",
      "name": "Meta"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9b1733936af9560303dc3271c5581463ef04f025",
      "name": "MetavarContext.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "741c69af097212bca4517ac6aaa83d2906cdd437",
      "name": "Modifiers.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6e3b4011e642f42b6e0920820f98dc904c9679e5",
      "name": "MonadEnv.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7745db80ed2083efeda7c44318e7c7634824dc38",
      "name": "Parser.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0972630342737aeea92a247861d3d1df82a2da71",
      "name": "Parser"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "492bd24bc45d8382edc2f188b27c3a646ad6c15b",
      "name": "ParserCompiler.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6b42786e29202cb98e155fcf159df259cb9ecee1",
      "name": "ParserCompiler"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c4dcd89e36d6d3442896cabfa67c5e2e2d27dd3e",
      "name": "PrettyPrinter.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "eb47c3097ead87d480cd495d7a3700eefa79e45c",
      "name": "PrettyPrinter"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e48f028e0c2a79cfe8f2cb27fcc6d40ee888be5c",
      "name": "ProjFns.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9d3e66ec610042b37b3f1fbebd6e51dea620ca7d",
      "name": "ReducibilityAttrs.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "00fb6c747a86d92fbad7cf7b4ef5633a405705e8",
      "name": "ResolveName.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b570f0bf5295c450940e2d223f750e4708beac4b",
      "name": "Runtime.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e74fecfc1e337721d804020125eaac386d653872",
      "name": "ScopedEnvExtension.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d6f27596cdf9badc78754e2625471e4ac805f020",
      "name": "Server.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f063044f2602f21c8d486146b85ed6032d9a2ac5",
      "name": "Server"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "19b5493dbe363324dd8204ad07dc388ae39d013e",
      "name": "Structure.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5eeca6f4804a27ad6c4e1ca111e09b579a468a88",
      "name": "SubExpr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "199105dbc1ad178c69a54fa39e917ffd5def8275",
      "name": "Syntax.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8b810a7bf3ab2915f5936a53800902dd76078cfc",
      "name": "ToExpr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "24f282e8312c7afc6ff5b8dfb34eda8844c4955f",
      "name": "Util.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "02c5508640cf89f5e2bffbe201b4e91322a7c371",
      "name": "Util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9a51cfa25b97f3bb2d6812860ff11f934f6cf517",
      "name": "Widget.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4ba1107cebcea4807e975c693f88aaaa8ef95ab7",
      "name": "Widget"
    }
  ]
}