Descend through nested matches; prove Nat and Int contracts - #10

Descend through nested matches; prove Nat and Int contracts#10

yogthos wants to merge 2 commits into

mainjlt-commons/writ:mainfrom

nested-descent-and-int-contractsjlt-commons/writ:nested-descent-and-int-contractsCopy head branch name to clipboard