Oxford Keynote presentation.
Comments to make the code better readable.
More comments and minor cleanups
Fix Paris slides so that they compile
Delete spurious src/typing.mli
Archive unused files
Equip all modules with interfaces
Archive old examples
Set up testing framework
Print context definitions in proper order
Add test with Church numerals
Add a rough specification of the language
Add Common.index_of
Update abstract syntax
Merging with Matija's cleanup
Move Oxford closed to Paris