andrewhu-uw/predep-old

Experimental imperitive language with contracts/dependent types: if it compiles, it's correct!