msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

str corrections

Browse Source
This commit is contained in:
crumbtoo
2023-11-22 16:31:58 -07:00
parent 29f193c8e0
commit 8195895233
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
docs/src/commentary/stg.rst
View File

@@ -149,7 +149,7 @@ constructor :code:`O` on two :code:`NNum` s both in normal form.
} }
In a conditional primitive, perform the reduction if the condition has been In a conditional primitive, perform the reduction if the condition has been
evaluated as True (:code:`ConP 2 0`). evaluated as True (:code:`NData 1 []`).
.. math:: .. math::
\transrule \transrule
@@ -158,7 +158,7 @@ evaluated as True (:code:`ConP 2 0`).
& h & h
\begin{bmatrix} \begin{bmatrix}
f : \mathtt{NPrim} \; \mathtt{IfP} \\ f : \mathtt{NPrim} \; \mathtt{IfP} \\
c : \mathtt{NPrim} \; (\mathtt{ConP} \; 2 \; 0) \\ c : \mathtt{NPrim} \; (\mathtt{NData} \; 1 \; []) \\
a_1 : \mathtt{NAp} \; f \; c \\ a_1 : \mathtt{NAp} \; f \; c \\
a_2 : \mathtt{NAp} \; a_1 \; x \\ a_2 : \mathtt{NAp} \; a_1 \; x \\
a_3 : \mathtt{NAp} \; a_2 \; y a_3 : \mathtt{NAp} \; a_2 \; y
@@ -172,7 +172,7 @@ evaluated as True (:code:`ConP 2 0`).
} }
In a conditional primitive, perform the reduction if the condition has been In a conditional primitive, perform the reduction if the condition has been
evaluated as False (:code:`ConP 1 0`). evaluated as False (:code:`NData 0 []`).
.. math:: .. math::
\transrule \transrule
@@ -181,7 +181,7 @@ evaluated as False (:code:`ConP 1 0`).
& h & h
\begin{bmatrix} \begin{bmatrix}
f : \mathtt{NPrim} \; \mathtt{IfP} \\ f : \mathtt{NPrim} \; \mathtt{IfP} \\
c : \mathtt{NPrim} \; (\mathtt{ConP} \; 1 \; 0) \\ c : \mathtt{NPrim} \; (\mathtt{NData} \; 0 \; []) \\
a_1 : \mathtt{NAp} \; f \; c \\ a_1 : \mathtt{NAp} \; f \; c \\
a_2 : \mathtt{NAp} \; a_1 \; x \\ a_2 : \mathtt{NAp} \; a_1 \; x \\
a_3 : \mathtt{NAp} \; a_2 \; y a_3 : \mathtt{NAp} \; a_2 \; y