├── LICENSE ├── README.org ├── rules.xml └── wordlist.txt /LICENSE: -------------------------------------------------------------------------------- 1 | BSD 3-Clause License 2 | 3 | Copyright (c) 2022, Joey Eremondi 4 | All rights reserved. 5 | 6 | Redistribution and use in source and binary forms, with or without 7 | modification, are permitted provided that the following conditions are met: 8 | 9 | 1. Redistributions of source code must retain the above copyright notice, this 10 | list of conditions and the following disclaimer. 11 | 12 | 2. Redistributions in binary form must reproduce the above copyright notice, 13 | this list of conditions and the following disclaimer in the documentation 14 | and/or other materials provided with the distribution. 15 | 16 | 3. Neither the name of the copyright holder nor the names of its 17 | contributors may be used to endorse or promote products derived from 18 | this software without specific prior written permission. 19 | 20 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 21 | AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 22 | IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 23 | DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE 24 | FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 25 | DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR 26 | SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER 27 | CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, 28 | OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 29 | OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 30 | -------------------------------------------------------------------------------- /README.org: -------------------------------------------------------------------------------- 1 | Migrated to https://codeberg.org/JoeyEremondi/pl-lt-rules 2 | -------------------------------------------------------------------------------- /rules.xml: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 'm|'re|'ve|'d|'ll|'t 6 | 7 | Do not use contractions in formal writing 8 | No contractions 9 | let's 10 | let us 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 's 19 | 20 | In formal writing, 's should only be used for possessives, not as a contraction for "is". 21 | Don't use 's as a contraction. 22 | That's the problem, so let's look at the car's engine. Let's look at the car's engine. That's the problem with the car's engine. 23 | That is the problem, so let us look at the car's engine. 24 | Let's look at the car's engine. 25 | Let us look at the car's engine. 26 | That's the problem with the car's engine. 27 | That is the problem with the car's engine. 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | he|she|his|her 36 | 37 | There are very few cases where gendered pronouns are appropriate in a formal paper. You can never go wrong with "they" 38 | "they" 39 | He proves this She proves this It is her proof It is his proof The proof is hers The proof is his 40 | They prove this 41 | She proves this 42 | They prove this 43 | It is her proof 44 | It is their proof 45 | It is his proof 46 | It is their proof 47 | The proof is hers 48 | The proof is theirs 49 | The proof is his 50 | The proof is theirs 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | we 59 | have 60 | 61 | 62 | Joey uses "we have" too much in his writing 63 | Don't say "we have" 64 | We have a problem. 65 | There is a problem. 66 | We have seen it. 67 | 68 | 69 | 70 | 71 | 72 | 73 | our 74 | language 75 | 76 | 77 | Joey writes 78 | our language 79 | too much 80 | 81 | 82 | our language 83 | 84 | \lang 85 | 86 | 87 | 88 | 89 | 90 | 91 | 92 | runtime 93 | 94 | Unless you are talking about how long a program takes to run, use "run-time" as an adjective or run time as a noun. 95 | 96 | runtime 97 | 98 | run-time or run time 99 | 100 | 101 | 102 | 103 | 104 | 105 | 106 | run 107 | time 108 | 109 | 110 | Use run-time as as a description of a noun. 111 | Use run-time for adjective 112 | There was a run time error. 113 | There was a run-time error. 114 | There was an error at run time. 115 | 116 | 117 | 118 | 119 | 120 | 121 | 122 | run-time 123 | 124 | Use "run time" for the noun form 125 | Noun form is "run time" 126 | There was an error at run-time in the program This will cause problems at run-time. 127 | There was an error at run time in the program 128 | There was a run-time error in the program 129 | This is a problem during run-time checks 130 | This will cause problems at run-time. 131 | This will cause problems during run-time analysis. 132 | 133 | 134 | 135 | 136 | 137 | 138 | 139 | run-time 140 | 141 | Use "run time" for the noun 142 | Noun form is "run time" 143 | There was an error at run-time 144 | There was an error at run time 145 | There was a run-time error 146 | 147 | 148 | 149 | 150 | 151 | 152 | 153 | type-?check(er|ers|ing|s|ed)? 154 | 155 | Use "type check" for consistency 156 | 157 | typecheck 158 | typechecking type-check type-checking type-checks type-checker typechecks typechecker 159 | 160 | type check 161 | typechecking 162 | type checking 163 | type-check 164 | type-checking 165 | type-checks 166 | type-checker 167 | typechecks 168 | typechecker 169 | 170 | 171 | 172 | 173 | 174 | 175 | 176 | cast 177 | calculus 178 | 179 | "cast calculus" should have a hyphen 180 | 181 | cast calculus 182 | 183 | cast-calculus 184 | 185 | 186 | 187 | 188 | 189 | 190 | 191 | tradeoff 192 | 193 | use "trade-off" for consistency 194 | "trade-off" 195 | tradeoff tradeoffs 196 | trade-off 197 | tradeoffs 198 | trade-offs 199 | 200 | 201 | 202 | 203 | 204 | 205 | 206 | judgement(al)? 207 | 208 | For consistency, use "judgment" 209 | "judgment" 210 | judgement judgements judgemental 211 | judgment 212 | judgements 213 | judgments 214 | judgemental 215 | judgmental 216 | 217 | 218 | 219 | 220 | 221 | 222 | 223 | dependent(ly)?-type[sd]? 224 | 225 | No hyphen in "dependent type" 226 | No hyphen 227 | The constructor builds a dependent-type The language supports dependent-types This is hard in dependently-typed programming languages 228 | The constructor builds a dependent type 229 | The language supports dependent-types 230 | The language supports dependent types 231 | This is hard in dependently-typed programming languages 232 | This is hard in dependently typed programming languages 233 | 234 | 235 | 236 | 237 | 238 | 239 | 240 | dependent 241 | language 242 | 243 | Use the full "dependently typed" 244 | "dependently typed language" 245 | This is a dependent language 246 | This is a dependently typed language 247 | 248 | 249 | 250 | 251 | 252 | 253 | 254 | this|these 255 | 256 | 257 | Be specific: don't use "this" as the subject of a sentence 258 | Don't use this as the subject of a sentence 259 | This is problematic. These are problematic These are problematic 260 | The problem is problematic. 261 | This problem is problematic. 262 | These are problematic 263 | These problems are problematic 264 | They are problematic 265 | In this section we see the problem 266 | 267 | 268 | 269 | 270 | 271 | 272 | 273 | we 274 | can 275 | see 276 | that 277 | 278 | "we can see that" adds nothing and eats your precious page budget 279 | redundant 280 | we can see that this happens we see that this happens 281 | this happens 282 | we see that this happens 283 | 284 | 285 | 286 | 287 | 288 | 289 | 290 | clearly|obviously 291 | 292 | Just eliminate these words, don't assume what is easy to the reader 293 | redundant 294 | Clearly this is true Obviously this is true 295 | this is true 296 | Obviously this is true 297 | 298 | 299 | 300 | 301 | 302 | 303 | 304 | it 305 | is 306 | easy 307 | to 308 | see 309 | 310 | Dont assume whats easy to the reader 311 | redundant 312 | it is easy to see that this is true it is easy to see this is true 313 | this is true 314 | it is easy to see this is true 315 | this is true 316 | 317 | 318 | 319 | 320 | 321 | 322 | 323 | simply 324 | typed 325 | 326 | You should only use simply to refer to the STLC 327 | redundant 328 | the result is simply three 329 | the result is three 330 | this is the simply typed lambda calculus 331 | 332 | 333 | 334 | 335 | 336 | 337 | 338 | note|notice 339 | that 340 | 341 | "Note that" or "notice that" adds nothing 342 | Don't say "note that" 343 | note that this happens notice that this happens 344 | this happens 345 | notice that this happens 346 | 347 | 348 | 349 | 350 | 351 | 352 | 353 | see 354 | how 355 | 356 | "see how" is redundant and adds nothing 357 | Don't use "see how" 358 | see how it happens 359 | it happens 360 | 361 | 362 | 363 | 364 | 365 | 366 | 367 | it 368 | is 369 | worth 370 | noting 371 | that 372 | 373 | "it is worth nothing that" takes up your valuable space budget and adds nothing 374 | redundant 375 | it is worth noting that this happens 376 | this happens 377 | 378 | 379 | 380 | 381 | 382 | 383 | 384 | firstly|secondly|thirdly 385 | , 386 | 387 | Use (1) and (2) instead of firstly, secondly, etc. 388 | Don's use firstly, secondly, thirdly 389 | Firstly, this is the problem. 390 | (1) 391 | Secondly, 392 | (2) 393 | Thirdly, 394 | (3) 395 | 396 | 397 | 398 | 399 | 400 | 401 | 402 | allow 403 | 404 | 405 | 406 | to 407 | 408 | Use "lets" instead 409 | Use "lets" 410 | This allows the program to run 411 | This lets the program run 412 | The check allows our gradual language to execute safely. 413 | The check lets our gradual language execute safely. 414 | The check allows it to run safely. 415 | The check lets it run safely. 416 | These allow the program to run 417 | These let the program run 418 | These check allow our gradual language to execute safely. 419 | These checks let our gradual language execute safely. 420 | The checks allows them to run safely. 421 | The check let them run safely. 422 | This allows all the programs to run 423 | This lets all the programs run 424 | 425 | 426 | 427 | 428 | 429 | 430 | 431 | give 432 | 433 | 434 | 435 | the 436 | ability 437 | to 438 | 439 | Use "lets" instead 440 | Use "lets" 441 | This gives the program the ability to run 442 | This lets the program language run 443 | The check gives our gradual language the ability to execute safely. 444 | The check lets our gradual language execute safely. 445 | The check gives it the ability to run safely. 446 | The check lets it run safely. 447 | 448 | 449 | These give them the ability to run 450 | This lets them ruin 451 | These give it the ability to run 452 | These let it run 453 | 454 | 455 | 456 | 457 | 458 | 459 | 460 | in 461 | order 462 | to 463 | 464 | Use the simpler "to" 465 | Use "to" 466 | in order to 467 | to 468 | 469 | 470 | 471 | 472 | 473 | 474 | 475 | so 476 | as 477 | to 478 | 479 | Use the simpler "to" 480 | "to" 481 | so as to 482 | to 483 | 484 | 485 | 486 | 487 | 488 | 489 | 490 | be 491 | built 492 | on 493 | 494 | Use "builds on" instead of "is built on" when describing systems/languages 495 | "builds on" 496 | is built on are built on was built on were built on 497 | builds on 498 | are built on 499 | build on 500 | was built on 501 | built on 502 | were built on 503 | built on 504 | 505 | 506 | 507 | 508 | 509 | 510 | 511 | have 512 | the 513 | potential 514 | to 515 | 516 | Use the simpler "could" 517 | "could" 518 | has the potential to have the potential to 519 | could 520 | have the potential to 521 | could 522 | 523 | 524 | 525 | 526 | 527 | 528 | 529 | a 530 | sufficient 531 | amount 532 | of 533 | 534 | Use the simpler "enough" 535 | "enough" 536 | a sufficient amount of 537 | enough 538 | 539 | 540 | 541 | 542 | 543 | 544 | 545 | utilize 546 | 547 | Use the simpler "use" 548 | "use" 549 | utilize utilized utilizes 550 | use 551 | utilized 552 | used 553 | utilizes 554 | uses 555 | 556 | 557 | 558 | 559 | 560 | 561 | 562 | make 563 | use 564 | of 565 | 566 | Use the simpler "use" 567 | "use" 568 | make use of made use of makes use of making use of 569 | use 570 | made use of 571 | used 572 | makes use of 573 | uses 574 | making use of 575 | using 576 | 577 | 578 | 579 | 580 | 581 | 582 | 583 | which 584 | means 585 | that 586 | 587 | Use "so" instead 588 | Use "so" instead 589 | which means that 590 | so 591 | 592 | 593 | 594 | 595 | 596 | 597 | 598 | desideratum 599 | 600 | Use "goals", "criteria" or something similar 601 | Overused 602 | desideratum desiderata 603 | goal 604 | desiderata 605 | goals 606 | 607 | 608 | 609 | 610 | 611 | 612 | 613 | there 614 | is|are|were 615 | 616 | Might be correct, but often it's stronger to use a more direct verb. 617 | Use a direct verb? 618 | There is a cat There are some cats 619 | A cat is sitting there 620 | There are some cats 621 | Some cats are sitting there 622 | 623 | 624 | 625 | 626 | 627 | 628 | 629 | will 630 | 631 | In academic writing, you very seldom want the future tense. 632 | Use present tense 633 | The term will reduce It will be a problem It will be a problem Will the term reduce? 634 | The term reduces 635 | I have a strong will. 636 | I tried to will them to arrive. 637 | It will be a problem 638 | It is a problem 639 | Will the term reduce? 640 | Does the term reduce? 641 | 642 | 643 | -------------------------------------------------------------------------------- /wordlist.txt: -------------------------------------------------------------------------------- 1 | GADT 2 | --------------------------------------------------------------------------------