[spec] formatting for calculus rules
authorAndrew Lorimer <andrew@lorimer.id.au>
Sat, 12 Oct 2019 01:08:42 +0000 (12:08 +1100)
committerAndrew Lorimer <andrew@lorimer.id.au>
Sat, 12 Oct 2019 01:08:42 +0000 (12:08 +1100)
No differences found