Top-level chapters: small heading fixes

lukstafi · Nov 2, 2023 · 15443af · 15443af
1 parent a1095a0
commit 15443af
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 7 deletions.
diff --git a/chapter11/functional-lecture11.md b/chapter11/functional-lecture11.md
@@ -1,4 +1,4 @@
-The Expression Problem
+# The Expression Problem
 
 The Expression Problem
 

diff --git a/chapter11/lecture11-exercises.md b/chapter11/lecture11-exercises.md
@@ -1,6 +1,4 @@
-Functional ProgrammingŁukasz Stafiniak
-
-The Expression Problem
+## The Expression Problem -- Exercises
 
 **Exercise 1:** <span id="ExStringOf"></span>Implement the 
 `string_of_` functions or methods, covering all data cases, corresponding to 

diff --git a/chapter2/functional-lecture02-deriv1.md b/chapter2/functional-lecture02-deriv1.md
@@ -1,6 +1,4 @@
-# Lecture 2: Algebra
-
-Type inference example derivation
+## Lecture 2: Type inference example derivation
 
 $$ \frac{[?]}{{\texttt{fun x -> ((+) x) 1}} : [?]} $$