==================
More contracts
==================

You can check out more (mostly uncommented) examples 
on the `repository <https://github.com/bitml-lang/bitml-compiler/tree/master/examples>`_.