Skip to content

Commit 005ed00

Browse files
authored
Fix typo.
1 parent d9d1047 commit 005ed00

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/_docs/internals/gadts.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -70,7 +70,7 @@ Right now, we record GADT constraints for:
7070
- function/method type parameters
7171
- class type parameters
7272

73-
There is a branch on the way which will also record them for type members (so path-dependent types) and singleton types. It has a paper associated: "Implementing path-depepdent GADTs for Scala 3".
73+
There is a branch on the way which will also record them for type members (so path-dependent types) and singleton types. It has a paper associated: "Implementing path-dependent GADTs for Scala 3".
7474

7575
### What are necessary relationships? Any examples?
7676

0 commit comments

Comments
 (0)