From: Andrew Lorimer <andrew@lorimer.id.au>
Date: Sat, 12 Oct 2019 01:08:42 +0000 (+1100)
Subject: [spec] formatting for calculus rules
X-Git-Tag: yr12~15
X-Git-Url: https://git.lorimer.id.au/notes.git/diff_plain/9694721ae02e7d5d28b4448e0803095f2b88aaba?hp=9694721ae02e7d5d28b4448e0803095f2b88aaba

[spec] formatting for calculus rules
---