Name
..
fragments
misc
tutorials
Introduction to typed lambda calculus.ipynb
Lambda Notebook Demo (executed).ipynb
Lambda Notebook Demo.ipynb
Lambda Notebook Intro (start here).ipynb
Metalanguage documentation.ipynb