[spec] integration by substitution
authorAndrew Lorimer <andrew@lorimer.id.au>
Thu, 25 Apr 2019 04:49:26 +0000 (14:49 +1000)
committerAndrew Lorimer <andrew@lorimer.id.au>
Thu, 25 Apr 2019 04:49:26 +0000 (14:49 +1000)
commitf05acf1...e1c0d59f1fe02c6254e4eac4b9271084
treeedf5de8...5d70de8dad6ddc4e72b9e7b2ee1c2c08copy hash to clipboard (tree)
parentb99c0f2...13af8f0497947d09b4463ecb99707d87copy hash to clipboard (diff)
spec/calculus.md