A note on pre and post conditions #1 Post by jonase » Sun, Jan 11, 2015, 6:17 PM UTC A note on pre and post conditionsjonase.github.io