Skip to content
Snippets Groups Projects
Commit 42624c94 authored by Jeehoon Kang's avatar Jeehoon Kang
Browse files

docs: fix bug in ghost resource laws

parent aa9b972e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
docs/logic.tex
+ 1
− 1
View file @ 42624c94
...@@ -417,7 +417,7 @@ Furthermore, we have the usual $\eta$ and $\beta$ laws for projections, $\lambda ...@@ -417,7 +417,7 @@ Furthermore, we have the usual $\eta$ and $\beta$ laws for projections, $\lambda
\begin{mathpar} \begin{mathpar}
\begin{array}{rMcMl} \begin{array}{rMcMl}
\ownGGhost{\melt} * \ownGGhost{\meltB} &\provesIff& \ownGGhost{\melt \mtimes \meltB} \\ \ownGGhost{\melt} * \ownGGhost{\meltB} &\provesIff& \ownGGhost{\melt \mtimes \meltB} \\
\ownGGhost{\melt} &\provesIff& \mval(\melt) \\ \ownGGhost{\melt} &\proves& \mval(\melt) \\
\TRUE &\proves& \ownGGhost{\munit} \TRUE &\proves& \ownGGhost{\munit}
\end{array} \end{array}
\and \and
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment