Add normative-conventions.md; document agreed-upon coercion rules#136
Merged
bakkot merged 13 commits intomainfrom add-stop-coercing-things-pt-1May 26, 2024
+39
Commits
Commits on Sep 13, 2023
Commits on Sep 28, 2023
- authored
Commits on Sep 30, 2023
- authored
Commits on Apr 14, 2024
- committed
- committed
Commits on Apr 15, 2024
- authored
