Fix tiny mistakes in slides

georgejkaye · Aug 5, 2022 · 8c59777 · 8c59777
1 parent 586b697
commit 8c59777
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/figures b/figures
diff --git a/sections/equational.tex b/sections/equational.tex
@@ -320,7 +320,7 @@ \section{Equational reasoning}
     Any circuit has an \alert{instantaneous value} and a \alert{delayed subcircuit}.
 
     \[
-        \tikzfig{circuits/components/circuits/f-seq}
+        \tikzfig{circuits/components/circuits/f-seq-closed}
         \,=\,
         \tikzfig{circuits/productivity/productive}    
     \]
+1 −1		circuits.tikzdefs
+18 −4		circuits/axioms/belnap/and-annihilator-lhs.tikz
+19 −4		circuits/axioms/belnap/and-annihilator-rhs.tikz
+18 −4		circuits/axioms/belnap/and-identity-lhs.tikz
+18 −4		circuits/axioms/belnap/or-annihilator-lhs.tikz
+19 −4		circuits/axioms/belnap/or-annihilator-rhs.tikz
+18 −4		circuits/axioms/belnap/or-identity-lhs.tikz
+2 −2		circuits/axioms/disconnect-lhs.tikz
+1 −1		circuits/axioms/disconnect-rhs.tikz
+1 −1		circuits/axioms/gate-rhs.tikz
+1 −1		circuits/axioms/join-rhs.tikz
+6 −15		circuits/components/values/false.tikz
+6 −15		circuits/components/values/true.tikz
+11 −11		circuits/examples/reasoning/unfolding/unfolding-1.tikz
+53 −0		circuits/full-abstraction/output-init-f.tikz
+53 −0		circuits/full-abstraction/output-init-g.tikz
+54 −0		circuits/full-abstraction/output-next-f.tikz
+54 −0		circuits/full-abstraction/output-next-g.tikz
+1 −1		circuits/instant-feedback/fc-box.tikz
+35 −0		circuits/semantics/mealy-core-applied.tikz
+24 −0		circuits/semantics/mealy-core-reduced.tikz
+35 −0		circuits/semantics/mealy-core.tikz
+49 −0		circuits/semantics/mealy-term.tikz
+29 −38		streams/mealyterm.tikz
+3 −3		strings/structure/comonoid/unitality-l-lhs.tikz
+2 −2		strings/structure/comonoid/unitality-l-rhs.tikz
+3 −3		strings/structure/comonoid/unitality-r-lhs.tikz
+2 −2		strings/structure/comonoid/unitality-r-rhs.tikz
+4 −4		strings/structure/monoid/unitality-l-lhs.tikz
+2 −2		strings/structure/monoid/unitality-l-rhs.tikz
+4 −4		strings/structure/monoid/unitality-r-lhs.tikz
+7 −3		strings/structure/monoid/unitality-r-rhs.tikz