From: Andrew Lorimer <andrew@lorimer.id.au>
Date: Thu, 25 Apr 2019 04:49:26 +0000 (+1000)
Subject: [spec] integration by substitution
X-Git-Tag: yr12~158
X-Git-Url: https://git.lorimer.id.au/notes.git/diff_plain/f05acf18e1c0d59f1fe02c6254e4eac4b9271084?hp=f05acf18e1c0d59f1fe02c6254e4eac4b9271084

[spec] integration by substitution
---