A few quick fixes to the autogenerated markdown

lukstafi · Oct 26, 2023 · e304773 · e304773
1 parent 89cbe66
commit e304773
Show file tree

Hide file tree

Showing 4 changed files with 124 additions and 95 deletions.
diff --git a/chapter2/functional-lecture02-deriv1.md b/chapter2/functional-lecture02-deriv1.md
@@ -81,8 +81,8 @@ $$ \frac{\frac{\begin{array}{ll}
      \text{{\texttt{int}}}} & \frac{\,}{\text{{\texttt{1}}} :
      \text{{\texttt{int}}}} \tiny{\text{(constant)}}
    \end{array}}{\text{{\texttt{((+) x) 1}}} :
-   \text{{\texttt{int}}}}}{\text{\text{{\texttt{fun x -> ((+) x)
-   1}}}} : \text{{\texttt{int}}} \rightarrow
+   \text{{\texttt{int}}}}}{\text{{\texttt{fun x -> ((+) x)
+   1}}} : \text{{\texttt{int}}} \rightarrow
    \text{{\texttt{int}}}} $$
 
 
diff --git a/chapter2/functional-lecture02.md b/chapter2/functional-lecture02.md
@@ -95,8 +95,8 @@ $$ \begin{matrix}
     & \frac{\,}{\text{{\texttt{1}}} : \text{{\texttt{int}}}}
     \tiny{\text{(constant)}}
   \end{array}}{\text{{\texttt{((+) x) 1}}} :
-  \text{{\texttt{int}}}}}{\text{\text{{\texttt{fun x -> ((+) x)
-  1}}}} : \text{{\texttt{int}}} \rightarrow
+  \text{{\texttt{int}}}}}{\text{{\texttt{fun x -> ((+) x)
+  1}}} : \text{{\texttt{int}}} \rightarrow
   \text{{\texttt{int}}}} &
 \end{matrix} $$
 

diff --git a/chapter3/functional-lecture03.md b/chapter3/functional-lecture03.md
@@ -72,8 +72,8 @@ sin''' pi;;
   & \text{name bindings (local definitions)}\\\\\\
   | & \text{{\texttt{match }}} a \text{{\texttt{ with}} \ \
   \ \ \ \ \ } &  \\\\\\
-  & p \text{{\texttt{->}}} a \text{\text{{\texttt{ \textbar
-  }}}}
+  & p \text{{\texttt{->}}} a \text{{\texttt{ \textbar
+  }}}
   \ldots \text{{\texttt{ \textbar }}} p
   \text{{\texttt{->}}}
   a & \text{pattern matching}\\\\\\