LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.cfg
setup.py
lamb/__init__.py
lamb/auto.py
lamb/combinators.py
lamb/display.py
lamb/lang.py
lamb/lnsetup.py
lamb/magics.py
lamb/parsing.py
lamb/tree_mini.py
lamb/treetransforms.py
lamb/types.py
lamb/utils.py
lamb/meta/__init__.py
lamb/meta/boolean.py
lamb/meta/core.py
lamb/meta/number.py
lamb/meta/sets.py
lamb/meta/test.py
lamb/notebooks/An introduction to compositionality via "two plus two is four".ipynb
lamb/notebooks/Introduction to typed lambda calculus.ipynb
lamb/notebooks/Lambda Notebook Demo (executed).ipynb
lamb/notebooks/Lambda Notebook Demo.ipynb
lamb/notebooks/Lambda Notebook Intro (start here).ipynb
lamb/notebooks/documentation/Ad hoc polymorphism.ipynb
lamb/notebooks/documentation/Intro to type variables.ipynb
lamb/notebooks/documentation/Lexical ambiguity.ipynb
lamb/notebooks/documentation/Metalanguage documentation.ipynb
lamb/notebooks/documentation/Partiality documentation.ipynb
lamb/notebooks/documentation/Quick reference.ipynb
lamb/notebooks/fragments/Compositional DRT.ipynb
lamb/notebooks/fragments/Continuations and quantifier scope.ipynb
lamb/notebooks/fragments/Hamblin semantics.ipynb
lamb/notebooks/fragments/Intensional scope.ipynb
lamb/notebooks/fragments/Neo-davidsonian event semantics.ipynb
lamb/notebooks/fragments/Relative clauses.ipynb
lamb/notebooks/fragments/Variable free binding.ipynb
lamb/notebooks/fragments/von Fintel and Heim beginning.ipynb
lamb/notebooks/misc/00 Readme for upgrading from IPython 2.ipynb
lamb/notebooks/misc/Diagnostics.ipynb
lamb/notebooks/misc/LSA poster examples.ipynb
lamb/notebooks/misc/Lambda calculus testing.ipynb
lamb/notebooks/misc/Polymorphism examples.ipynb
lamb/notebooks/tutorials/Composition operations.ipynb
lamb/notebooks/tutorials/Intro to type variables.ipynb
lamb/notebooks/tutorials/Quantification tutorial.ipynb
lamb/notebooks/tutorials/Type shifting.ipynb
lamb/notebooks/tutorials/definite article tutorial.ipynb
lambda_notebook.egg-info/PKG-INFO
lambda_notebook.egg-info/SOURCES.txt
lambda_notebook.egg-info/dependency_links.txt
lambda_notebook.egg-info/requires.txt
lambda_notebook.egg-info/top_level.txt
notebooks/An introduction to compositionality via "two plus two is four".ipynb
notebooks/Introduction to typed lambda calculus.ipynb
notebooks/Lambda Notebook Demo (executed).ipynb
notebooks/Lambda Notebook Demo.ipynb
notebooks/Lambda Notebook Intro (start here).ipynb
notebooks/documentation/Ad hoc polymorphism.ipynb
notebooks/documentation/Intro to type variables.ipynb
notebooks/documentation/Lexical ambiguity.ipynb
notebooks/documentation/Metalanguage documentation.ipynb
notebooks/documentation/Partiality documentation.ipynb
notebooks/documentation/Quick reference.ipynb
notebooks/fragments/Compositional DRT.ipynb
notebooks/fragments/Continuations and quantifier scope.ipynb
notebooks/fragments/Hamblin semantics.ipynb
notebooks/fragments/Intensional scope.ipynb
notebooks/fragments/Neo-davidsonian event semantics.ipynb
notebooks/fragments/Relative clauses.ipynb
notebooks/fragments/Variable free binding.ipynb
notebooks/fragments/von Fintel and Heim beginning.ipynb
notebooks/local_notebooks/Ad hoc polymorphism.ipynb
notebooks/local_notebooks/An introduction to compositionality via "two plus two is four".ipynb
notebooks/local_notebooks/Causative problem template.ipynb
notebooks/local_notebooks/Composition.ipynb
notebooks/local_notebooks/Compositional DRT.ipynb
notebooks/local_notebooks/Control problem set.ipynb
notebooks/local_notebooks/D3 testing.ipynb
notebooks/local_notebooks/Display testing.ipynb
notebooks/local_notebooks/H&K partiality overview.ipynb
notebooks/local_notebooks/Intensional scope.ipynb
notebooks/local_notebooks/Intro to type variables.ipynb
notebooks/local_notebooks/Lambda calculus problem set template.ipynb
notebooks/local_notebooks/Mereology operators.ipynb
notebooks/local_notebooks/Partiality documentation.ipynb
notebooks/local_notebooks/Polymorphic types working.ipynb
notebooks/local_notebooks/Polymorphism examples.ipynb
notebooks/local_notebooks/Possessives problem solutions F21.ipynb
notebooks/local_notebooks/Possessives problem solutions.ipynb
notebooks/local_notebooks/Possessives problem template.ipynb
notebooks/local_notebooks/Profiling.ipynb
notebooks/local_notebooks/Projective 2016.ipynb
notebooks/local_notebooks/Projective meaning-home.ipynb
notebooks/local_notebooks/Projective office.ipynb
notebooks/local_notebooks/Pronouns.ipynb
notebooks/local_notebooks/Quantification tutorial.ipynb
notebooks/local_notebooks/Rojas-Esponda on doch.ipynb
notebooks/local_notebooks/Scenario generator.ipynb
notebooks/local_notebooks/Simplification testing.ipynb
notebooks/local_notebooks/Type unification examples.ipynb
notebooks/local_notebooks/Untitled1.ipynb
notebooks/local_notebooks/Untitled2.ipynb
notebooks/local_notebooks/Untitled3.ipynb
notebooks/local_notebooks/Untitled4.ipynb
notebooks/local_notebooks/Untitled5.ipynb
notebooks/local_notebooks/Untitled6.ipynb
notebooks/local_notebooks/ccs_bug.ipynb
notebooks/local_notebooks/composition testing.ipynb
notebooks/local_notebooks/degree semantics testing.ipynb
notebooks/local_notebooks/inference working.ipynb
notebooks/local_notebooks/misc_notes.md
notebooks/local_notebooks/new display testing.ipynb
notebooks/local_notebooks/random testing.ipynb
notebooks/local_notebooks/svgwrite_trees.ipynb
notebooks/local_notebooks/tree composition testing.ipynb
notebooks/local_notebooks/grading/Emily Weinberg Assignment 6 submission-checkpoint.ipynb
notebooks/local_notebooks/grading/Final.ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Denis McInerney Midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Dylan Lewis_sem_midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Dylan Pulver Semantics Midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Icon
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Possessives problem solutions.ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Sadhwi Srinivas Midterm .ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Stephanie Carr Midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Zhenglong Zhou Midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Christian Dudley Reotutar Midterm/Christian-Dudley Reotutar Possessives_problem_template (2).ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Christian Dudley Reotutar Midterm/Christian-Dudley Reotutar midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Corby Rosset Midterm/Corby Rosset Midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Corby Rosset Midterm/Corby Rosset Possessives_problem_template.ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Emily Weinberg Midterm/Emily Weinberg Possessives_problem_template-checkpoint.ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Emily Weinberg Midterm/Emily Weinberg Semantics Midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Emma Maxwell Midterm/Emma Maxwell Midterm (handwritten).pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Emma Maxwell Midterm/Emma Maxwell Midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Frempongma Wadee Midterm/Frempongma Wadee Midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Frempongma Wadee Midterm/Frempongma_Wadee_Possessives_problem_template.ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Hongyuan Mei Midterm/Hongyuan Mei Midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Hongyuan Mei Midterm/HongyuanMei.ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Irina Plaks Midterm/Irina Plaks Midterm Parts 2 and 3.ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Irina Plaks Midterm/Irina Plaks Midterm part 1.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Isis Dwyer Midterm/Isis Dwyer - Midterm - Problem 2.ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Isis Dwyer Midterm/Isis Dwyer midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Lawrence Wolf-Sonkin midterm/Lawrence Wolf-Sonkin Possessives Problems Midterm.ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Lawrence Wolf-Sonkin midterm/Lawrence Wolf-Sonkin Semantics Midterm - flattened.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Lawrence Wolf-Sonkin midterm/Lawrence Wolf-Sonkin Semantics Midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Lisa Bauer Midterm/LisaBauer.ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Lisa Bauer Midterm/lisa-bauer-midterm (1).pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Matthew Francis Landau Midterm/Matthew Francis-Landau midterm-full.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Matthew Francis Landau Midterm/Matthew Francis-Landau midterm.ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Najoung Kim Midterm/Najoung Kim Midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Najoung Kim Midterm/Najoung Kim Midterm_lambs.ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Patrick Xia Midterm/Patrick Xia midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Patrick Xia Midterm/Patrick Xia possessives.ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Tatiana Sorenson Midterm/Tatiana Sorenson Midterm.docx
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Tatiana Sorenson Midterm/Tatiana Sorenson Midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Tatiana Sorenson Midterm/Tatiana Sorenson_Possessives_problem.ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Tyana Warren Midterm/Tyana Warren Midterm.docx
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Tyana Warren Midterm/Tyana Warren Midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Tyana Warren Midterm/Tyana Warren Possessives_problem.ipynb
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Yuqing Zhu Midterm/Yuqing Zhu Midterm.pdf
notebooks/local_notebooks/grading/Semantics 1 - Midterm/Yuqing Zhu Midterm/Yuqing Zhu Possessives.ipynb
notebooks/local_notebooks/img/KrausTable.png
notebooks/local_notebooks/svgling/svgling testing.ipynb
notebooks/local_notebooks/svgling/test.pdf
notebooks/local_notebooks/svgling/test.png
notebooks/local_notebooks/svgling/test.ps
notebooks/local_notebooks/svgling/svgling/__init__.py
notebooks/local_notebooks/svgling/svgling/__main__.py
notebooks/local_notebooks/svgling/svgling/core.py
notebooks/local_notebooks/svgling/svgling/figure.py
notebooks/local_notebooks/svgling/svgling/html.py
notebooks/local_notebooks/svgling/svgling/semantics.py
notebooks/local_notebooks/svgling/svgling/utils.py
notebooks/local_notebooks/svgling/svgling/__pycache__/__init__.cpython-311.pyc
notebooks/local_notebooks/svgling/svgling/__pycache__/core.cpython-311.pyc
notebooks/local_notebooks/svgling/svgling/__pycache__/figure.cpython-311.pyc
notebooks/local_notebooks/svgling/svgling/__pycache__/html.cpython-311.pyc
notebooks/local_notebooks/svgling/svgling/__pycache__/semantics.cpython-311.pyc
notebooks/local_notebooks/svgling/svgling/__pycache__/utils.cpython-311.pyc
notebooks/local_notebooks/teaching/Basics of lambda calculus problem set.ipynb
notebooks/misc/00 Readme for upgrading from IPython 2.ipynb
notebooks/misc/Diagnostics.ipynb
notebooks/misc/LSA poster examples.ipynb
notebooks/misc/Lambda calculus testing.ipynb
notebooks/misc/Polymorphism examples.ipynb
notebooks/tutorials/Composition operations.ipynb
notebooks/tutorials/Intro to type variables.ipynb
notebooks/tutorials/Quantification tutorial.ipynb
notebooks/tutorials/Type shifting.ipynb
notebooks/tutorials/definite article tutorial.ipynb