Broken on linked version of Magma

[jameshegarty]

This tutorial appears to be broken on the version of Magma that's linked to this repo:
https://github.com/phanrahan/magmathon/blob/master/notebooks/tutorial/FullAdder.ipynb

In general, is there any automatic testing of the tutorials here?

@leonardt @rsetaluri

[phanrahan]

I have been upgrading the tutorials. We decided that we will do the merge when the hwtypes branch is merged in magma master. Hopefully soon.

[jameshegarty]

Ok cool thanks :)