)]}'
{
  "id": "5ffdb2bd9a7e2fc2ac755ee26cd1b2dcaf42afb9",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "1fcb1529f8e5e43037c4710ce09da0becd28823a",
      "name": ".gitignore"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "58951671aa5b4eb0f6f2d71cacc841afce6b96f1",
      "name": "BoolExpr.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9c6b306b926927c2f973db8e9b88ba9f0dac8e05",
      "name": "SUMMARY.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "31182469caf2b915acdd75985722272fa7f2930a",
      "name": "array.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5586652f709b09ce61f5a64b44c8d1716b64b889",
      "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": "797742984eb32e3d780d9e96e360202528bebaa4",
      "name": "debugging.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "787b78acafe40a470a2d6f78710f9faac5b5778d",
      "name": "declarations.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f203fa57cebf252e656835f0f62aad3bd7b6dd4a",
      "name": "decltypes.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "57e5bd97c4b56ba95f056c19cd51453000f3950b",
      "name": "definitions.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a8254c1d3f50472558ecd407309adf795b6b6c16",
      "name": "dep.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a7c59329461c3111d12a1d551b17bb22b8b4e9fe",
      "name": "deptypes.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1867e974762c518aee67a3551a5263cd2637e815",
      "name": "do.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bb05c235c76d882470d27acda4c24b46aa18c73d",
      "name": "enum.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3ff06d8ef6f0388b6aae6f99afa861858658b69f",
      "name": "examples"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5e2a787d492cc7bee622816786802acccee36536",
      "name": "expressions.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "56447321ec5ccc47a13f8eb159396548d4b2b45f",
      "name": "faq.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c7f33513048880b0209f5317b90b3350a7b70aac",
      "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": "2c7c471b3695f62af9907392eef3fa81418bc3c2",
      "name": "functions.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ad36345deb6f9c2bdec9bc03dd871aa8c5dc9ced",
      "name": "highlight.js"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9e232c29534c61f5fb43963174130cc378f578bd",
      "name": "images"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dcda6a3399818f815ad847fdcb59e8527c9c194c",
      "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": 16384,
      "type": "tree",
      "id": "f2622411fff4696df02ba2572cc7931338252adf",
      "name": "latex"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1f953b2c773d341fcce506ade0013a546ff9487d",
      "name": "lean3changes.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ad98c0f3c0d25632534be8ec70afaeec96841ee4",
      "name": "lexical_structure.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6811f7b83e870207d89ffca37fcc952e27b94796",
      "name": "list.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "55c00b033637a90b9568e7008ca7f0597307f3db",
      "name": "make"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a80975cca6216d6f4e31d812b084db7ff9179fc7",
      "name": "mdbook.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c3ac6728964c4db4d00efc7062307c818649ba48",
      "name": "metaprogramming.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0cc211aabd06988c8063aff37a5fa11b120cd3b4",
      "name": "mission.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "09df93d3e88edb04c82fd1888aaef0c595ec5101",
      "name": "namespaces.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6b5cbdaf8e129d80826f82b7dde6bdd0b8d0a0ab",
      "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": "46d684b3579b375c070c9d22457a10dedebd531a",
      "name": "perf.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4b19bcaeea4546348526a82360cf1b982dbeff25",
      "name": "quickstart.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bb439552047153d20be224828adab02e7bcb4ff7",
      "name": "sections.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6e608e37797cdf42d06ae41b4cb05e3a234fba09",
      "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": "6c36335aee68a811cf8f7c10268c7281d5ddba94",
      "name": "struct.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a9f1632409763e6645154c54ca5528515dbecdf7",
      "name": "syntax.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "212e3886e121b225a3e91a772d51738d29f93437",
      "name": "syntax_highlight_in_latex.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "32d1076467b613af3266a7fd5fb36e0e1fa39cd2",
      "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": "d536b4f4ae78ade07a8827e1991d51f1c2d50f28",
      "name": "thunk.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "26c0f36954377384cd8e512322a443b4b5e1c1a5",
      "name": "tour.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "38315f60158f3fdd73fa1581e534cbce3b21024f",
      "name": "typeclass.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f9ee7145bf1d43ccf6dbd2147e7d9a4d938a9e70",
      "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": "a9b4c8233bd0476dc4bc8f2643bd1e169a573203",
      "name": "using_lean.md"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "326628c694905318cf68fbed23ad612ce8c1add0",
      "name": "whatIsLean.md"
    }
  ]
}