section on inductive and co-inductive typeclasses

blueroutecn · Sep 21, 2019 · ccbd162 · ccbd162
1 parent d661f02
commit ccbd162
Show file tree

Hide file tree

Showing 3 changed files with 620 additions and 33 deletions.
diff --git a/sofp-src/sofp-filterable.lyx b/sofp-src/sofp-filterable.lyx
@@ -118,7 +118,6 @@
 \def\mathunderline#1#2{\color{#1}\underline{{\color{black}#2}}\color{black}}
 % The LyX document will define a macro \gunderline{#1} that will use \mathunderline with the color `greenunder`.
 %\def\gunderline#1{\mathunderline{greenunder}{#1}} % This is now defined by LyX itself with GUI support.
-
 \end_preamble
 \options open=any,numbers=noenddot,index=totoc,bibliography=totoc,listof=totoc,fontsize=10pt
 \use_default_options true
@@ -221,6 +220,13 @@
 Computations in functor blocks.
  I.
  Filterable functors
+\begin_inset CommandInset label
+LatexCommand label
+name "chap:Filterable-functors"
+
+\end_inset
+
+
 \end_layout
 
 \begin_layout Section

diff --git a/sofp-src/sofp-monads.lyx b/sofp-src/sofp-monads.lyx
@@ -118,7 +118,6 @@
 \def\mathunderline#1#2{\color{#1}\underline{{\color{black}#2}}\color{black}}
 % The LyX document will define a macro \gunderline{#1} that will use \mathunderline with the color `greenunder`.
 %\def\gunderline#1{\mathunderline{greenunder}{#1}} % This is now defined by LyX itself with GUI support.
-
 \end_preamble
 \options open=any,numbers=noenddot,index=totoc,bibliography=totoc,listof=totoc,fontsize=10pt
 \use_default_options true
@@ -221,6 +220,13 @@
 Computations in functor blocks.
  II.
  Semimonads and monads
+\begin_inset CommandInset label
+LatexCommand label
+name "chap:Semimonads-and-monads"
+
+\end_inset
+
+
 \end_layout
 
 \begin_layout Section