tree 52447ca3ca573a8d77f618cd2b49d17970810059
parent ce2021f6f67dfe3898daaec072d252f417182956
parent 4c4a25d9f8a27574e41e6a1f6656382e140bc952
author lcnr <rust@lcnr.de> 1754054852 +0200
committer GitHub <noreply@github.com> 1754054852 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJojMDECRC1aQ7uu5UhlAAAjJEQABqB8D9wx7X7oo0kZ2JQh+53
 fRzHPvdxGsifrC0zUkSas2F+8j1PfCedXXmxKXsfZI8S1N8wsUuyUiq8EapJMjh3
 i7WEW0D6l1uwlINrnG47QjwrqlYLMoTmvqEDHzB9TOU52KDT2YmRGaO5PWwqT4p+
 31kYv44biYdOLO9VICfFLOTU7XJMIyI4gGSqliODBvTDdXzp2N8GdqZeoU3nc3N2
 R7sC9ZUYObK7Yj5ljefeZkxu/2qyD5HKtzfHHhHMbPJWLaBevE434pVmsSf1S/Bw
 BQvzkvlCsDvFqjPtC+Fq9RXAnedhWlPfMRe0ZIRWDNQ/HWrYYq+ApBp+M2d7vlGK
 eXW4i0K7zUh253lipinE4iVLXxXb8QubZ/ICAkd43F4To4H/JKDSMczh21YIzhot
 3FHlf6234gxKKyMtJACRekZfHxy1sruNEi0l27JQ6yrPteH/5cq/q06djX9UkErp
 0BG88CZ/njoiJ0jtzMO1IUMGhlCAVgdKkMjDucWFEBPdI5YYfJ4x/rSOjkbGIAz+
 9aeHzU09GKwqEGksN9wSfnf4azSqTIYitNi+iVuKKQzxiwEmRueohKvxNu74zCPt
 5u78sfGtBn1xv9zj4jpfMK66hnztuA1VGyoB/kzFJweoFajyC2ZUnKlrvg4ITlp0
 dYkAPeiUEYmhTqKPl2Ob
 =REEC
 -----END PGP SIGNATURE-----
 

Merge pull request #2529 from lcnr/type-system-invariants

add a chapter documenting candidate preference