monte-language/monte — pull request #31 by dckc (2014-06-01 14:50:01+00:00)
Title: sealing example seems to work

The unittest module seems to be somewhat disabled, so I'm not able to run the tests.

Also, I'm not sure what the norms are for guards. I currently don't use any.

But it seems to work.