diff --git a/scripts/nolints.json b/scripts/nolints.json
index 10e10847b75d3..a64eacb27c056 100644
--- a/scripts/nolints.json
+++ b/scripts/nolints.json
@@ -149,9 +149,6 @@
  ["docBlame", "FirstOrder.«term∀'_»"],
  ["docBlame", "FirstOrder.«term∃'_»"],
  ["docBlame", "FirstOrder.«term∼_»"],
- ["docBlame", "Function.app"],
- ["docBlame", "Function.compLeft"],
- ["docBlame", "Function.compRight"],
  ["docBlame", "Function.swap"],
  ["docBlame", "Function.«term_∘'_»"],
  ["docBlame", "HSpace.e"],