)]}'
{
  "id": "103db6e69f53030597ab1b8ed3160ec3473f873d",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "476df24ebdf2351a4fd7841fa552b87f9df4e508",
      "name": "AlphaEqv.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8060bff9569f84a47c52daff1402998ee34cc693",
      "name": "AuxDeclCache.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "662b98853d9fa0e691f3244bcc14359847aacf69",
      "name": "BaseTypes.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "009ffc7ae78eeafd012181981bd7c23f6d73329c",
      "name": "Basic.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c4a9d425edd4528578ae7614fc9d364677bd6311",
      "name": "Bind.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "25c7d97a6e95a5c5ff771fb171f413d94c193578",
      "name": "CSE.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "677748dcddd0175c440e67726680d461ca8cab27",
      "name": "Check.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "788e99f61b6e3df33e55310a8850f35e52cdad4f",
      "name": "Closure.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5ec1bb005dc7ed616a7b99acaee0f0f691211f71",
      "name": "CompatibleTypes.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5e261a4c7f78eadf2ed31dad200842e216c18d85",
      "name": "CompilerM.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c478c03e78036f2e9bfca92e8531e16d605a3e88",
      "name": "ConfigOptions.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b6e0f20d5f4aca992a08f138b65a64ce82f21764",
      "name": "DeclHash.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8eb7fb69890933119145ee199f3b014f643969a3",
      "name": "DependsOn.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "28bdae95bf5886b2d6b441557582cc9dc088d678",
      "name": "ElimDead.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "160a574c7775cf0e0bdc0fd7f603743cebdfe590",
      "name": "ElimDeadBranches.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0f9f170794a2d35586a062aacd847edb5d4e0cfe",
      "name": "FVarUtil.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "34ab6677b68e3ff03d75146a369dfd0af20e9cf4",
      "name": "FixedParams.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9849a20c8155850612525dc9302a94ec33a65efd",
      "name": "FloatLetIn.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "79da9c1247d717bfd3fb54dac39829077e284d34",
      "name": "ForEachExpr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bbdf72ce129691945b9235a6925f2584456b5b77",
      "name": "InferType.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6c41cadcb4e6e0629eb014651a15296a2edcc402",
      "name": "Internalize.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6acbb730affd7755815a104572d2979821f31786",
      "name": "JoinPoints.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ba50bf037d5d0f2b5585573b8b04c0303cb295f7",
      "name": "LCtx.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f75dbd88075e11b317e9da0778957bb2fe8a5bdc",
      "name": "LambdaLifting.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cd4984d80e4e7dcb4ca5bdca85f396f43627ad71",
      "name": "Level.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ed7578898d4a0b690388d3546444fcf0ecde1c56",
      "name": "Main.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b157cdeb9f806bc638a6018e18890a6435bfbee4",
      "name": "MonadScope.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0d90433ac41c1726e2bc7830da64f2fde3fdd3c0",
      "name": "MonoTypes.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "560ed28834aeb5a96a53671c940aede6b9c5d578",
      "name": "OtherDecl.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7347e3792aad27d058d03e2a5ebe3ec59df8a5a5",
      "name": "PassManager.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b4742a6856b0ff2845f0f4e5c88156154bbde306",
      "name": "Passes.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6b532c80364cd2b62795fb781c4598fa8e6b2bd2",
      "name": "PhaseExt.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "38688001a61f17ea20734182cdbb3c4a82221a57",
      "name": "PrettyPrinter.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8817b5ba44da5bbe2d7e0b54a824de075a2ec684",
      "name": "Probing.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3a0be7b8c8daaaf0c476983eb090fcff18791e1b",
      "name": "PullFunDecls.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b80174336c7c8ce41ddf124cc467b5197236c3da",
      "name": "PullLetDecls.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9b862b81e5f552bb29153efc26db2dfcf8965cc5",
      "name": "ReduceArity.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5687267b66e8b73db35ae1de8940cde39d008324",
      "name": "ReduceJpArity.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a72181413d482f11627baf79a99740a52fa71a17",
      "name": "Renaming.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "893af43acd90f3ee51a68a61482d7b018b81fe5a",
      "name": "ScopeM.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9679e29548bb87dd2ff07a0a5621d6ebf25b684c",
      "name": "Simp.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "14204860854abe8681c8d53fcfd9b24a9b78f24e",
      "name": "Simp"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d0553efe669e591de7dafcb2a6a0e035b2e4a1d2",
      "name": "SpecInfo.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1149e1ddea7b020214c604a89a79e3520ab84157",
      "name": "Specialize.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c866486ee6d61659d5239328542e0f4933639af1",
      "name": "Testing.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0bc2e4a3f571cb65ddb30f1c18f01f84359f4e8b",
      "name": "ToDecl.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9abc4fb15d07f8f1992de3bd50bcab240e09cb23",
      "name": "ToExpr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6110dbc16492ad47f64a5a51ef2035875494f18c",
      "name": "ToLCNF.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "963aedde5c429ffab1f205cb3e6a1de98af8830d",
      "name": "ToMono.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "612b0d84abafcd109d868527775606c5e17aecfd",
      "name": "Types.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a1c7f82c00c23d5e08856a700c741e8239ebc27d",
      "name": "Util.lean"
    }
  ]
}