On Friday, 21 July 2017 at 18:55:08 UTC, Moritz Maxeiner wrote:
I really like how the syntax turned out. My only remaining peeve is the `ContractParameters` nomenclature in the grammar section, because it implies that asserts are contracts.
Maybe I should have stuck with AssertParameters. That can easily be fixed.
