lamb/__init__.py,sha256=5LxkrWyMJYBYd19W18ehH4tQE9kYhuE1U_7xht_HsGs,387
lamb/auto.py,sha256=lThVlkId0qYvkSbjkgy3PSogl33WM-DC_fTR3vT6dXQ,164
lamb/combinators.py,sha256=2khrKiqfY2BC_XFlC_jKSykMeOPQbqU9NgQyu-cQzpU,2944
lamb/console.py,sha256=mfOnUGy_BJvfV85q5szEylFdKpFWIZRSyv2KNREDulQ,131
lamb/display.py,sha256=-ED6SZVYgxGVcMEfMxIDsBowDSrYkUt4C0IxTq1FG-I,26482
lamb/lang.py,sha256=XWs7Lc_xvOnLrdCS514XJ71xSbgayq7nngdmnCRiSN8,119857
lamb/lnsetup.py,sha256=ECXdqN1jb2nHNFIEdpEqCxtyUwBcSxwZTshfR2Bi_tM,8291
lamb/magics.py,sha256=e9-IbDdcxT_gbTm5HnjMACdd4QN350g1WlaLBxGBpUs,5547
lamb/parsing.py,sha256=9lzsHKxCYrEvf6s0v7nJrdSJms_EQ5O6xXRM5yq7otM,27503
lamb/test_lang.py,sha256=VxZVPKUvWbbREHj16OnbDTw8SKW4yUVdHHGRDZax81c,6309
lamb/tree_mini.py,sha256=q0x-p2XMRaWZ1OC-cMe_VwM5VMR-vIrtesFopTZZmQY,68956
lamb/treetransforms.py,sha256=1_h98hpvH1g8pK5FUuhEeGxlWMqhqDGEjLX6XckbzdE,12880
lamb/types.py,sha256=875GQf1K_93cZHxOgvWFBDL1vjs7XvmP3pFZYdvMcRM,121773
lamb/utils.py,sha256=Hivy6DShLVOYVMj6DWgl446PtxsS7o209KeRHRiVAWE,27691
lamb/meta/__init__.py,sha256=3rkurZOvG4jVXdr4jVqejgwcdxXelpbBX7s0e_phxqQ,3185
lamb/meta/boolean.py,sha256=YrEU3QOIjIVZqCLvKeXECRdrdpz9C1jjQS3bfPGvi3c,13332
lamb/meta/core.py,sha256=3Gl5W_uARjmbV6DSjvrrBmGlOE7HYNrYevgU5i4IZug,238031
lamb/meta/meta.py,sha256=3BhdG6BtvQpRd38Vw-9VzGuxDw80sY4hSzq8bO6Cp1Y,66422
lamb/meta/number.py,sha256=yJEaAJgVNcMi-Ry-KYEESimazfctEoPgJ7N9uXqx_q0,2492
lamb/meta/parser.py,sha256=Zmx1-LBX3VrjA2E3CLwXoJYX1zANbhAAyySODW4lYOU,5840
lamb/meta/ply.py,sha256=M8oBv8J2tu2IM-NmHJjMUj9udUOGlJAWUBPesX-wUVI,43540
lamb/meta/quantifiers.py,sha256=a7sZYsUrluBmnPOV4ED4sezNvfW9yl6FQLWrR7h244E,33651
lamb/meta/sets.py,sha256=7pnG3Bl3GmsytnDV6Iu-Uf8rFu85gT4mm9diCCChPAw,55778
lamb/meta/test.py,sha256=1UJ3aYIk1rD7PbFJ1iPElqY3o6Kqnur3KHryiiTw7jg,76046
lamb/notebooks/An introduction to compositionality.ipynb,sha256=SMRPOPUKit5L66mXjDwgELotfGol8J4a4mYDzLvUrL0,16476
lamb/notebooks/Introduction to typed lambda calculus.ipynb,sha256=ihLQeTr0Ka_RGoQqeG-cIcfJGU4xAjDKVutOjDjJxq4,13689
lamb/notebooks/Lambda Notebook Intro (start here).ipynb,sha256=SdpmmkA9_qieaRPzJrwSRDjSordjszMQiALapX5KXAQ,16997
lamb/notebooks/documentation/Ad hoc polymorphism.ipynb,sha256=FziZ7-6fjfrO37Z1eLEA9hh7_V46xUxKJP4zQyX0oVM,16846
lamb/notebooks/documentation/Binding expressions.ipynb,sha256=Oj7KLreFJS1F9dEmxt-_fe5M__-J7H1URiZxrTJnwJs,34172
lamb/notebooks/documentation/Composition.ipynb,sha256=ymSzXRCdVWmaL2KvivkygTe3w0EKgQBXB4BApW5R9KU,49418
lamb/notebooks/documentation/Domain elements and MetaTerms.ipynb,sha256=CM9dUP4AZBP9gDbrYNeYbCQM7KA7PeKw4MOig9Nhsv8,34010
lamb/notebooks/documentation/Intro to type variables.ipynb,sha256=-5TvOyLhoaRJDqDQiujsx--Ze1UdvpTlFjCHn8YgHU0,25717
lamb/notebooks/documentation/Lexical ambiguity.ipynb,sha256=ykXszQXSsujCnkItj7-WkxmXJchHTAbgCYbX7c0oT6g,6910
lamb/notebooks/documentation/Metalanguage documentation.ipynb,sha256=Z3cmGhofjEWPhQXhJspn7Wy8iaRn9UqFNdVw17VBWpw,36794
lamb/notebooks/documentation/Metalanguage evaluation.ipynb,sha256=X9U6t2QqXbg3MeJq8lBxUcL7EwFITjXFllNnCuToZcs,76863
lamb/notebooks/documentation/Metalanguage functions.ipynb,sha256=IeMMkYrXgFamDhBzBEdd7v2retsbSQyew79s5ssATQg,29686
lamb/notebooks/documentation/Metalanguage sets.ipynb,sha256=Kt7TJdcSFvAdEFUkmYZwCgSQTQTrulbQU2weJXETNY8,49092
lamb/notebooks/documentation/Partiality documentation.ipynb,sha256=Gf4eLz4eqtBsgOoG5e_nz1jemKYtKpkiunaomSSnSak,28128
lamb/notebooks/documentation/Quick reference.ipynb,sha256=PjW7UqK9RbhR7e8CUWiBp5YfiWlGyS9Q8GAGlscDBpo,11110
lamb/notebooks/fragments/Compositional DRT.ipynb,sha256=XQXc8ngcN-IiG7jGjX1_ejznXtdcAnfDHqGUU-X6WiM,11775
lamb/notebooks/fragments/Continuations and quantifier scope.ipynb,sha256=umUsbIKppT8miBtmmogPMBAmUxbmnAUIBhty7bhOBxU,29972
lamb/notebooks/fragments/Hamblin semantics.ipynb,sha256=FXZHaW6PjxuF9j7eqUQKz_hTYMEl54QzmuucjawaT1c,20278
lamb/notebooks/fragments/Intensional scope.ipynb,sha256=-JXsju-vbiPFoHUei2R_9C5o1Yb10M0GYJ3Pw3QSMm8,24293
lamb/notebooks/fragments/Neo-davidsonian event semantics.ipynb,sha256=9B6YNouqgN1TPmSkaofsNCO3cBwgLIZyh3mxiH1sNGg,15179
lamb/notebooks/fragments/Reader monad demo.ipynb,sha256=IQL110_Ov0lyT1pSr6qpmcYuy_QH8AGkEAhR2XhNu5E,10786
lamb/notebooks/fragments/Relative clauses.ipynb,sha256=F1KXrVaUMhCA0lRXiyFlD3-QSQKnfcpRhVqQWZEvO18,12274
lamb/notebooks/fragments/Variable free binding.ipynb,sha256=ho4LlM8TZVEF-E3PerigdN0xFFlZIlmkJe8ZOMp1ifE,13298
lamb/notebooks/fragments/von Fintel and Heim beginning.ipynb,sha256=kbLjrCojA7TY8pbeneWPEy4cEQmPQTlPf-3vzGGVjDw,9827
lamb/notebooks/misc/00 Readme for upgrading from IPython 2.ipynb,sha256=UTwoyNQ_VqcnubRS9vU66hmSevYQnmvP6FhWgfxf6Xw,1746
lamb/notebooks/misc/Diagnostics.ipynb,sha256=6V_c89q-B-h3g7QE3hW776aSElOLdTdqTgzlic-FVhw,1571
lamb/notebooks/misc/LSA poster examples.ipynb,sha256=anVd2K9tEuJyIvnH6qKVo48viUyeCihXDfy2il02xU0,4882
lamb/notebooks/misc/Lambda calculus testing.ipynb,sha256=OTRnNwFD5ckHLLIrJ-oGKbIYHFxjTAkAynCk9JuNQH8,5747
lamb/notebooks/misc/Polymorphism examples.ipynb,sha256=fkBKLTyjXZvE0HPEa5mxPOUtxD2IZSD1RYI5Y4MC448,7183
lamb/notebooks/tutorials/Composition operations.ipynb,sha256=xhwdi1cWMjvm9HRTANNqimYBfvtnhrt8kEwevXVtNjU,14200
lamb/notebooks/tutorials/Quantification tutorial.ipynb,sha256=5p7FVTu2Od9B0VrInfxlx8z9sZzYWIWiVHjHBnadUu0,17267
lamb/notebooks/tutorials/Type shifting.ipynb,sha256=EnvrzDKh9z1yTPbz9nBD-LVplPwF1MlxYuJ4BZsJsZQ,11409
lambda_notebook-0.8.0.data/data/share/jupyter/kernels/lambda-notebook/kernel.json,sha256=7a4IescRLowl6I0wavWs8G_Vez_cL_c6fZ00YvgQZTc,316
lambda_notebook-0.8.0.dist-info/licenses/LICENSE,sha256=QXFx78c9lv-WPtSflRmB3ZKNQj19SouQf6EE7gkSyUk,1512
lambda_notebook-0.8.0.dist-info/METADATA,sha256=eDCcMa2vsP2zqj5-_OsuhYRmAHXP2qaWBokvK-qhudo,5290
lambda_notebook-0.8.0.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
lambda_notebook-0.8.0.dist-info/top_level.txt,sha256=EwLm1W5zx_AN6khtshL3pfck1cEjNWY5QeeHHuM-_fw,5
lambda_notebook-0.8.0.dist-info/RECORD,,
