pl/frap
1
0
Fork 0
mirror of https://github.com/achlipala/frap.git synced 2024-09-20 04:07:13 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fixed a new line split

Browse source
This commit is contained in:
Mark Lemay 2016-02-08 20:48:04 -05:00
parent 9720a6e0c6
commit 18f286bb38
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
frap.tex
View file

@ -517,8 +517,7 @@ It's important to remember that plus \emph{inside} the brackets is syntax, while
\newcommand{\subst}[3]{[#3/#2]#1}
To test our semantics, we define a \emph{variable substitution} function\index{substitution}.
A substitution $\subst{e}{x}{e'}$ stands for the result of running through the syntax of $e$, repla
cing every occurrence of variable $x$ with expression $e'$.
A substitution $\subst{e}{x}{e'}$ stands for the result of running through the syntax of $e$, replacing every occurrence of variable $x$ with expression $e'$.
\begin{eqnarray*}
\subst{n}{x}{e} &=& n \\