[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)
commit9694721...e02e7d5d28b4448e0803095f2b88aaba
tree8f35b61...cd2f117e428884982ba1784d37b9de27copy hash to clipboard (tree)
parenta66bb66...b80b9b6b90e0865b02f753013bb581d9copy hash to clipboard (diff)
spec/calculus-rules.tex
spec/spec-collated.tex