..
|
documentation
|
fragments
|
misc
|
tutorials
|
An introduction to compositionality via "two plus two is four".ipynb
|
Introduction to typed lambda calculus.ipynb
|
Lambda Notebook Demo (executed).ipynb
|
Lambda Notebook Demo.ipynb
|
Lambda Notebook Intro (start here).ipynb
|