lamb/__init__.py,sha256=e7VEV6Zw4aXSyXKikZBUmwOVtB-0B_SlMQVUrzPIRdI,298
lamb/auto.py,sha256=lThVlkId0qYvkSbjkgy3PSogl33WM-DC_fTR3vT6dXQ,164
lamb/combinators.py,sha256=oQtNvuNFlhfTltwnopU6OR75c1LSyNWrQKWeQuh0ido,5972
lamb/display.py,sha256=Y96fUyvrNs4SGEDDnYEwtESLhHjMyqHtNIwimmGLpQ4,21209
lamb/lang.py,sha256=ep1R8wSLa2vl8vzT40hutVIVITFPwtDq0u5RisKw9AU,119330
lamb/lnsetup.py,sha256=ZkgpHHuVjncnoCm33mEGB1VZwj5oID3cKhZj-skogZU,9223
lamb/magics.py,sha256=aRdwQwzMMIjNHRFsqVej58InVW1Jcb70DgU5Vguh0u4,4768
lamb/parsing.py,sha256=PrlfRVuD_3Ae1qv9G4jjk1OTpqNr96shSwWgHkqpWdo,18082
lamb/tree_mini.py,sha256=kp9cWSBQ3oVqEFiiYjv7X07W-MITG1XXvy42iYceFn8,68949
lamb/treetransforms.py,sha256=1_h98hpvH1g8pK5FUuhEeGxlWMqhqDGEjLX6XckbzdE,12880
lamb/types.py,sha256=7lOco7JJPhjVMo8KhTR3kpr1nRdYrkXeTcvMnZBnXgY,66655
lamb/utils.py,sha256=xavgY3LOkvmW91j0DTEk_zq80n0i2YHWxHb3-NpYURg,11932
lamb/meta/__init__.py,sha256=pX1HD-1NUZagIQ1pSAXiyATo7z9FBfk2NQZ-BHyB6jc,2336
lamb/meta/boolean.py,sha256=viib0-D9o7mD9HiRnfvBorT0KtFvctXi-U9FvAS1AGQ,14185
lamb/meta/core.py,sha256=gsNkiD2Qqg6fDIy9G22pZ_0m-zuvAPIiU3QkS8o7hhY,143392
lamb/meta/number.py,sha256=cr5T_62lokGF1DvzKA41QYTg0MOO7hMVaBS4kQK7CZA,1480
lamb/meta/sets.py,sha256=VJ9ResV_SrFUQbhW1rO6ZNPLiYMvbp-byXth9VL06oc,9005
lamb/meta/test.py,sha256=I3knlgH4nazDUp8oxNvknrvAncZaTo-6fzt8K_VYW0Y,16292
"lamb/notebooks/An introduction to compositionality via ""two plus two is four"".ipynb",sha256=7Alk9lmcl1arisQ9dmz2IIUalvAE6Uuv1nxtYUA1gQ0,16499
lamb/notebooks/Introduction to typed lambda calculus.ipynb,sha256=-x_ke-_Rwrn1JNslMYBN9RP7-J3wIOhwcoWKTZeroSM,15467
lamb/notebooks/Lambda Notebook Demo (executed).ipynb,sha256=joEsgGDJZ6kb4-MGec5AJZTerGbLeNvAYWtlbZmgUV0,245073
lamb/notebooks/Lambda Notebook Demo.ipynb,sha256=IB0q7HaLJsqIPClqENeHhJeNngBcpuOzwaEM-RiU4gY,29750
lamb/notebooks/Lambda Notebook Intro (start here).ipynb,sha256=XZjW0FnisG_Ii9wUUsJyw4fZ52y6gVSYWe-VtdaIanI,14218
lamb/notebooks/documentation/Ad hoc polymorphism.ipynb,sha256=6YTxo5Jb7RzhbKhDz9MCJDVlYKHhELxkd0JheuQP8I4,14734
lamb/notebooks/documentation/Intro to type variables.ipynb,sha256=yHvDo-Ubc6iDBm1yRTV2NQhhEdMAT0PJ_eH1YjVDii8,12066
lamb/notebooks/documentation/Lexical ambiguity.ipynb,sha256=aQZYjwGbxahWK7rYzHmDSySw-W9TIwbMr5K0kE9_q5g,7071
lamb/notebooks/documentation/Metalanguage documentation.ipynb,sha256=244TqlKiHAIv3SPCQVNcuHA4UAAcc2Cx4tU9H3XAcgI,27268
lamb/notebooks/documentation/Partiality documentation.ipynb,sha256=TIt7-tJFZKRJYfqPg17dnAjkK7tR9gjbOY83oeXFFuw,20090
lamb/notebooks/documentation/Quick reference.ipynb,sha256=lGUgFtkYtmPoVQvPLaSPy1hnnP9A-GBwUljQUXShIH4,9545
lamb/notebooks/fragments/Compositional DRT.ipynb,sha256=_mbDeUTDW6nLvgp8ehVN1cY1zEXcIkRaumlXmicipf8,13190
lamb/notebooks/fragments/Continuations and quantifier scope.ipynb,sha256=7I-nQPUX4j62YMWFv5J8_IBU3IWxUcdL6gSApMtIqBw,30194
lamb/notebooks/fragments/Hamblin semantics.ipynb,sha256=xaz50gqKbkpwTrIFXuUQVX7JCti_bsRr9gbucQsYIn4,13448
lamb/notebooks/fragments/Intensional scope.ipynb,sha256=7WGNdF6YCh1ogblPz9hyUmg6sGkszOUDhO8pr_Box-8,24215
lamb/notebooks/fragments/Neo-davidsonian event semantics.ipynb,sha256=gX8Y_dDKFzcpkYG1SDOb1Hhgda1AlI-s-jpWAuljPko,15429
lamb/notebooks/fragments/Relative clauses.ipynb,sha256=pRjZzvnT7rqvrnlF-fOKLeIw1fuYAynT051G5NI4zrU,12246
lamb/notebooks/fragments/Variable free binding.ipynb,sha256=vnHATKdXJHU6Q8idMAOx4tUXqsfskASeN-dqLf9ItA4,13549
lamb/notebooks/fragments/von Fintel and Heim beginning.ipynb,sha256=Zo423CQZ2fZROXoI1fEL1IsXGtE98QnMpdxOcDyFIfk,10045
lamb/notebooks/misc/00 Readme for upgrading from IPython 2.ipynb,sha256=5FodcDi630GjzjhcBZPVAVr8gO8_tslARYhd2gk0s_I,1769
lamb/notebooks/misc/Diagnostics.ipynb,sha256=wXUezpSocd62_q1AanB_ovS9SCnOX3L6UpXo7roAd-A,1594
lamb/notebooks/misc/LSA poster examples.ipynb,sha256=gPAx61vHRh8t9ctIUpt5sQHiCudTmMg3zaCGmjmUF9E,5210
lamb/notebooks/misc/Lambda calculus testing.ipynb,sha256=T0__XwnJE-oNF890CQ2s8mDMmVuJUuW2xoeO24B_2CI,5038
lamb/notebooks/misc/Polymorphism examples.ipynb,sha256=c74zE-EJOHBAn2eEsj7nLofCeEYRsspGKUWoraQujFI,7116
lamb/notebooks/tutorials/Composition operations.ipynb,sha256=UZ7Fa6B1WUBvjySFLrmVOoEFUN-QIsIJJV6Pw2ww4dw,13825
lamb/notebooks/tutorials/Intro to type variables.ipynb,sha256=TxSIbLHeEzpQDEPW7zMJf_KCKANyLAtRqZ-zJCRVjuc,11814
lamb/notebooks/tutorials/Quantification tutorial.ipynb,sha256=XBSjUCCFnnxD-dRjBSdAQnyz17DuGGFuQJSh17Q9RKA,16994
lamb/notebooks/tutorials/Type shifting.ipynb,sha256=qQ6nX5TdXIOio6Yy-7muNtxwij1Di8RQUknmng2Wu7E,11684
lamb/notebooks/tutorials/definite article tutorial.ipynb,sha256=65dRvPwDmWosY0tZeOmkReg2EiDMXCP3SKseOm9bUsk,7488
lambda_notebook-0.7.0.data/data/share/jupyter/kernels/lambda-notebook/kernel.json,sha256=7a4IescRLowl6I0wavWs8G_Vez_cL_c6fZ00YvgQZTc,316
lambda_notebook-0.7.0.dist-info/LICENSE,sha256=QXFx78c9lv-WPtSflRmB3ZKNQj19SouQf6EE7gkSyUk,1512
lambda_notebook-0.7.0.dist-info/METADATA,sha256=YNhcwo3dcNV9sDFOGxyXcFAJWJtd4vDCQlPB3765AEc,7089
lambda_notebook-0.7.0.dist-info/WHEEL,sha256=yQN5g4mg4AybRjkgi-9yy4iQEFibGQmlz78Pik5Or-A,92
lambda_notebook-0.7.0.dist-info/top_level.txt,sha256=EwLm1W5zx_AN6khtshL3pfck1cEjNWY5QeeHHuM-_fw,5
lambda_notebook-0.7.0.dist-info/RECORD,,
