)]}'
{
  "id": "3237966a520bf3accdfb8e4017c1460aa1775f10",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "26d36b60df591bc0d6c6a40c4b5b3fdccd8cd74d",
      "name": "Attributes.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cd969ae410ac6b10f112befafc85a55da0ecd0fb",
      "name": "AuxRecursor.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b07d4a697d426d03aedfaa95e5ec1c430eaa645a",
      "name": "Class.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ba021f7197a841d14738d81170ab4198920efd78",
      "name": "Compiler.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cd2a6abc29493d7b2fc2e5bb83eb3e3409a12669",
      "name": "Compiler"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f755ccc7134ded915b2e65c03014522c2b11ea5d",
      "name": "CoreM.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "61f35a40feb2a3fd26291f12096d0722e31f66ef",
      "name": "Data.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c55712e0b24365fba99392842c5e63d606a9eced",
      "name": "Data"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0e39cba833b55a20d7a6776b5f691f89c72121fb",
      "name": "Declaration.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4d8e4e5e4c5b2639fcffd2b4186ee314c82c0029",
      "name": "DeclarationRange.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4528926da6b9d2bfdf6ecaa872b86767256f7e13",
      "name": "DocString.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5e8a751bec2be2332f6c095d9b3389f898566cab",
      "name": "Elab.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "75ed7040622d356a8db33e24f006558c7e3d69dd",
      "name": "Elab"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "88ecd0806392565426854bfd790d38486c679b54",
      "name": "Environment.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f914ac96cb23d285780788e4b15a2d38bf4460f4",
      "name": "Eval.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "df2a590ed4a0d952789c1309df3e8acec0c74efe",
      "name": "Exception.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "38ddb876e5089c830372bd4c79cd1ae87bb3331d",
      "name": "Expr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "907279fcbc41d6ce4bf4db9095ecd6b3f25df304",
      "name": "HeadIndex.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e526295cecd4f06c08bbc901b2ffa73b7091fc80",
      "name": "Hygiene.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "771966215e7dc341e4296abc7730097eb1156533",
      "name": "InternalExceptionId.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6b8921d02576b882a942fe8d4badb40d989c73c7",
      "name": "KeyedDeclsAttribute.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2a8ff82e79ad44e86e7fa4d0de813bdd4402b8d5",
      "name": "Level.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9defcfc2263a29d80e73db0f4054194b189eb9ed",
      "name": "LocalContext.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "186b9200aec18f0cfeb2e7cc64ed886866ccb014",
      "name": "Message.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f474c7fadd722dd7ac79a6af973e7658386276a5",
      "name": "Meta.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5cec6149a551ec4d13d83eaea9552f0e5ecdbda9",
      "name": "Meta"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6ea0508d6f84e1ca2cf342a438bfab4260f624dc",
      "name": "MetavarContext.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5d0ccd0d2b2ac4fa333f06cc2d52db6aaf2fa212",
      "name": "Modifiers.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c727074d6421e2e6d62ffecd74a19834f9d42772",
      "name": "MonadEnv.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5e28081eccb8ad686d7c1776fc5aca204b035943",
      "name": "Parser.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0ac89fd0606c8820670d550d5c9d366897f7b285",
      "name": "Parser"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5b42588338a06e6294a67d25fdff60f15222e9e1",
      "name": "ParserCompiler.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3170712369ca142ff3243c016b09d7d4e0141ff8",
      "name": "ParserCompiler"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "472f010027c0fe5417c1ae284990ec76667d519f",
      "name": "PrettyPrinter.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2e5fadea54d06ed634ae59dbf808f7415133834a",
      "name": "PrettyPrinter"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ebb04e01849da03e45c43ce1fc6effd1eaa1b2c6",
      "name": "ProjFns.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6545f7c83e9db49dff52ee69faf1d8a2cfcb8834",
      "name": "ReducibilityAttrs.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "098cbcdac0419c78c19ecc9d7dded975924fc611",
      "name": "ResolveName.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "30a82e85989611edb9f3d7fb804aa7e93dab2613",
      "name": "Runtime.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e8387c5f5c1db410b014f1b249c686085b8d69af",
      "name": "ScopedEnvExtension.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a27ad465c51b049aee310cbb4b30f97f2d1e3b6d",
      "name": "Server.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3164734b2806bbe81d41807af38ed4e11a2a1c75",
      "name": "Server"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b69738bead64b41cb7888e25451344cd8615bbd5",
      "name": "Structure.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "decd0578cdca05182fd367c1d71c708d0bbd8031",
      "name": "Syntax.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0f56dc29d486779786f325eacaf9cfdc3f51acc9",
      "name": "ToExpr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7b8b84db3342fb1b08bf011f9b8ecfd7967e9e5d",
      "name": "Util.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "dd5d38593b996123372f877bd19e71998149ed22",
      "name": "Util"
    }
  ]
}