Skip to content

Commit 06abc02

Browse files
tgrospictgrospic
committed
chore: reorganize concepts links
1 parent 520bbf0 commit 06abc02

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎src/SUMMARY.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,9 +5,9 @@
55
# Concepts
66

77
- [Free Monad](concepts/free_monad.md)
8-
- [Dependent types](concepts/dependent_types.md)
98
- [Continuation-Passing Style](concepts/cps.md)
109
- [Defunctionalization](concepts/defunctionalization.md)
10+
- [Dependent types](concepts/dependent_types.md)
1111

1212
# Insights
1313

0 commit comments

Comments
 (0)