)]}'
{
  "id": "2ee09f196780e839bff164ee3b590b8229f80e22",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "1fcb1529f8e5e43037c4710ce09da0becd28823a",
      "name": ".gitignore"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5256325fab90d9dad4685a157d3787efd7a04fdd",
      "name": "SUMMARY.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "18a77cdb0125474e53916dfc9dbc738b054e3638",
      "name": "array.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "51c2e3897f5cad7c009d603ca86fa2f3a7cd44fd",
      "name": "autobound.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f21cbdb80d97a21a5cd71203ee63f5d11865d87a",
      "name": "bin"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1c8634d5b70e4526ca4cae3e88416539dd7bf6a0",
      "name": "book.toml"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "11cf1b1b090f6fc42c973edfb94ad840e4d32da8",
      "name": "builtintypes.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d012232d9db9b26c9b0024f8bca21325bf258285",
      "name": "char.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "774afebd10e0c64e56a93cb5b44b63170b9f062e",
      "name": "coding_style.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "04a82f7c7ebc855060a31e8736967f2c71f39235",
      "name": "commit_convention.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "08288c615deb6c0fcac5007d940b388e88d78ccf",
      "name": "debugging.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dc7247d52a9512b7be7ef7cd91e3f5126b8640ad",
      "name": "decltypes.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "57e5bd97c4b56ba95f056c19cd51453000f3950b",
      "name": "definitions.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e0d28c9ffe753aa26fc4e2307ebfee96a82bcd3d",
      "name": "dep.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a7c59329461c3111d12a1d551b17bb22b8b4e9fe",
      "name": "deptypes.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e2a4abc7b1d909ba6972de7ed2c7996b39e14eb1",
      "name": "do.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ef4ab35023a61104427d80c742af85e5eba25a9c",
      "name": "enum.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3ff06d8ef6f0388b6aae6f99afa861858658b69f",
      "name": "examples"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "eb3688d77eb852b8fb717f838f74f4b430ef32cd",
      "name": "faq.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0f0fd235b04b5e2ab5d4af983faae906b32c38fc",
      "name": "fixing_tests.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f32689c30c20ec6c7a1df4f785958471ce29affc",
      "name": "float.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f63b4afe7f4ecad739f4d61792816ff1ba3c8310",
      "name": "funabst.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a613b2658c2da7abc63f672f58975f8f1fe27ab4",
      "name": "functions.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6fba0bf884e843a0ccd332e161ade2937cb9ebea",
      "name": "highlight.js"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "65ef591c06819fba378f5a091ee647084c6bbbea",
      "name": "implicit.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "487748ae57ea867bcd67bc3a569586e904d1702c",
      "name": "inductive.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "90cb940ce4ee6ea6c5ad69bb7a107ce04eac7125",
      "name": "int.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "64696e82bf29e99064ec62a54753efdf6516ee63",
      "name": "introdef.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "672dbc3eecd7b24f6cfc3299548ac79cb0d8c5a5",
      "name": "lean3changes.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6811f7b83e870207d89ffca37fcc952e27b94796",
      "name": "list.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "31dd35fe5705874758259c1ea223f77081afc767",
      "name": "make"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a80975cca6216d6f4e31d812b084db7ff9179fc7",
      "name": "mdbook.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "09df93d3e88edb04c82fd1888aaef0c595ec5101",
      "name": "namespaces.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5ec51fe2431bd82f94f62512de02c08a99fb1ba6",
      "name": "nat.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f33af4ff3f1d31a528334023cacedb47f3ecc230",
      "name": "option.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cdf74624608539a4fbeb341367cdee53004703f6",
      "name": "organization.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c6eb3e8243f12b5554f617320a772a4412a0b154",
      "name": "sections.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ade4124260e3c37f90ed7e9bc05ac8e8bfe71d86",
      "name": "setup.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e73a3a2e8e6d876035d9fc6fa237411708fa2e5a",
      "name": "simptypes.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ed218ce9a0db0f032f7b1be4f734afe50cc9573d",
      "name": "string.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b40e87ea641dcbc828afa9da2a619ef77c06ee15",
      "name": "stringinterp.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8344aa6b7f7edc451abe610f86683e9b0a9a2bfe",
      "name": "struct.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c48b56cee05e6cf444f468777553297328d5f019",
      "name": "syntax.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ebca50b21c7f179ffcd2848106f9b40f8710a2c6",
      "name": "syntax_highlight_in_latex.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "782e17d95d34b23ad4a791379f07f78852db7037",
      "name": "tactics.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "83a3f5dd2b6d1e341e5895e4348e37e34fea8cfc",
      "name": "task.md"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "e9091813f423fc1d5a24c9a0c9c8e744589cefae",
      "name": "test"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0dae01229f2d711c12f998d6115caa46b36fb9be",
      "name": "thunk.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aa25796e3ae216f70978323a9dcdf253e881f516",
      "name": "tour.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4f8c1a6623ca5ddf492b089b7cc33a8c3a15c338",
      "name": "typeclass.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6b8948f9ddb34b1427ef3c684884448db9ef665c",
      "name": "typeobjs.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0c9394edeb43bca0564024352f4bc09fb33a6e7b",
      "name": "uint.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "82b7ef1e04acefc0f676d6023332d7668a5e3cb3",
      "name": "unifhint.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "326628c694905318cf68fbed23ad612ce8c1add0",
      "name": "whatIsLean.md"
    }
  ]
}