Remove unfinished text from this bit

leanprover · Aug 19, 2022 · 08aca5b · 08aca5b
1 parent a394086
commit 08aca5b
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/functional-programming-lean/src/SUMMARY.md b/functional-programming-lean/src/SUMMARY.md
@@ -23,10 +23,10 @@
   - [Positive Numbers](type-classes/pos.md)
   - [Type Classes and Polymorphism](type-classes/polymorphism.md)
   - [Controlling Instance Search](type-classes/out-params.md)
-  - [Standard Classes](type-classes/standard-classes.md)
-  - [Coercions](type-classes/coercion.md)
-  - [Additional Conveniences](type-classes/conveniences.md)
-  - [Summary](type-classes/summary.md)
+  - [Standard Classes]()
+  - [Coercions]()
+  - [Additional Conveniences]()
+  - [Summary]()
 - [Monads]()
 - [IO Revisited]()
 - [Monad Transformers]()