|
1cfddbdd48
|
Fix wording in final paragraph of spelling reform
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-12-06 00:27:59 +00:00 |
|
|
fe5f22bdad
|
Slightly simplify spelling reform clause gadget, improve wording, add more examples
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-12-06 00:20:30 +00:00 |
|
|
5bc9617dbb
|
Fix more typos
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-11-09 17:51:04 +00:00 |
|
|
3578324239
|
Fix another small typo
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-11-08 01:19:02 +00:00 |
|
|
ce5ee7f336
|
Fix more typos
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-11-07 19:19:20 +00:00 |
|
|
12befc6e63
|
Fix typos in NP hardness post
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-11-07 19:16:40 +00:00 |
|
|
f44c0255c1
|
Add note at end about general style of NP-hardness proofs
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-11-07 18:16:23 +00:00 |
|
|
71129c589f
|
Undraftify the spelling reform post
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-11-07 18:12:46 +00:00 |
|
|
ad3279b5c5
|
Spelling reform is NP-hard
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-11-07 18:12:07 +00:00 |
|