swann@evertedsphere·Feb 11, 2018this is the exact way I managed to remember the rule, btw (like everyone else)3317
Hillel@hillelogram·Feb 11, 2018The click for me was "you can't strengthen preconditions or weaken postconditions."216
Brendan Zabarauskas@brendanzabReplying to @hillelogram and @mrkgrnaoLike contracts, right?1:40 PM · Feb 12, 2018·Twitter Web Client1 Like