5 Commits

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