|
..
|
|
fragments
|
|
misc
|
|
tutorials
|
|
00 Readme for upgrading from IPython 2.ipynb
|
|
Introduction to typed lambda calculus.ipynb
|
|
Lambda Notebook Demo (executed).ipynb
|
|
Lambda Notebook Demo.ipynb
|
|
Lambda Notebook Intro (start here).ipynb
|
|
Metalanguage documentation.ipynb
|