Path |
Digest |
Size |
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 |
— |
— |