wip

winitzki · Nov 23, 2023 · 3e8031f · 3e8031f
1 parent 44c1244
commit 3e8031f
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 2 deletions.
diff --git a/sofp-src/sofp-induction.lyx b/sofp-src/sofp-induction.lyx
@@ -7675,7 +7675,19 @@ true
 
 \end_inset
 
- when the element is followed by a larger value.
+ if an 
+\begin_inset listings
+inline true
+status open
+
+\begin_layout Plain Layout
+
+Int
+\end_layout
+
+\end_inset
+
+ value is followed by a larger value.
  For example, the input sequence 
 \begin_inset listings
 inline true

diff --git a/sofp-src/sofp-traversable.lyx b/sofp-src/sofp-traversable.lyx
@@ -23543,7 +23543,7 @@ noprefix "false"
 
 \end_inset
 
-).
+) from a programmer's perspective.
  We just wrote that law by analogy with composition laws of other 
 \begin_inset Quotes eld
 \end_inset