5 Commits

Author	SHA1	Message	Date
David Sanders	d3b0eaed01	Typo nits #181 (#205)	2018-09-28 20:47:52 -05:00
Philipp Hansch	c4ac71e1d0	Fix typos ... These were fixed using [codespell](https://github.com/codespell-project/codespell).	2018-09-12 07:32:18 +02:00
Oliver Schneider	928470c8cc	Satisfy tidy checks	2018-07-08 17:41:12 -05:00
Oliver Schneider	f2e7ef1675	Add some details about `DefId` creation	2018-07-08 17:41:12 -05:00
Oliver Schneider	f394cd109c	Add some explanation of lowering ids	2018-07-08 17:41:12 -05:00