Skip to content

Fix "higher kinded" -> "higher ranked" in RFC 3498#3590

Merged
fmease merged 1 commit intomasterfrom
TC/fix-higher-ranked-not-higher-kinded
Mar 19, 2024
Merged

Fix "higher kinded" -> "higher ranked" in RFC 3498#3590
fmease merged 1 commit intomasterfrom
TC/fix-higher-ranked-not-higher-kinded

Commits

Commits on Mar 19, 2024