Add normative-conventions.md; document agreed-upon coercion rules#136

Merged

bakkot merged 13 commits into

mainfrom

add-stop-coercing-things-pt-1

May 26, 2024

Commits on Sep 13, 2023

Commits on Sep 19, 2023

tweak
bakkot
committed

Commits on Sep 28, 2023

add integer-taking rule
bakkot
authored

Commits on Sep 30, 2023

explicitly note NaN
bakkot
authored

Commits on Apr 14, 2024

Commits on Apr 15, 2024

Commits on May 15, 2024

Commits on May 26, 2024