jonmsterling.com / reflexive-graph-lenses-paper
this repo has no description
fork atom

Definition 29: fix typographical error in constant DRG

From Ian Ray.

jonmsterling.com 4e8dfeae bb1ac751

+1 -1
+1 -1
nodes/rx-gph-constructions.tex
··· 105 105 \begin{align*} 106 106 \vrt{\gA^*\gB}\prn{x} 107 107 & :\equiv 108 - \vrt{\gB}\prn{x} 108 + \vrt{\gB} 109 109 \\ 110 110 u \Edge{\gA^*\gB}[p] v 111 111 & :\equiv