Skip to content

Commit

Permalink
chore: update SUMMARY.md
Browse files Browse the repository at this point in the history
  • Loading branch information
magnus-madsen committed May 14, 2024
1 parent a2f31b7 commit 7d57db1
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/SUMMARY.md
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,7 @@
- [Essential Traits](./essential-traits.md)
- [Automatic Derivation](./automatic-derivation.md)
- [Associated Types](./associated-types.md)
- [Associated Effects](./associated-effects.md)
- [Higher-Kinded Types](./higher-kinded-types.md)
- [Fixpoints](./fixpoints.md)
- [Stratified Negation](./stratified-negation.md)
Expand Down

0 comments on commit 7d57db1

Please sign in to comment.