Notebooks

Here you will find some odoc notebooks that I'm currently testing