stan/Ecoop2024_TIforWildFJ
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Typo

Browse Source
This commit is contained in:
Andreas Stadelmeier 2024-05-07 15:29:15 +02:00
parent b5f7345e51
commit 38589f804c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
unify.tex
View File

@ -1371,8 +1371,8 @@ which satisfies all input subtype constraints.
Types are reduced until they %either reach a discrepancy like $\type{String} \doteq \type{Integer}$ Types are reduced until they %either reach a discrepancy like $\type{String} \doteq \type{Integer}$
reach a form like $\tv{a} \doteq \type{T}$. reach a form like $\tv{a} \doteq \type{T}$.
Afterwards \unify{} substitutes type placehodler $\tv{a}$ with $\type{T}$. Afterwards \unify{} substitutes type placeholder $\tv{a}$ with $\type{T}$.
This is done until a substitution for all type placehodlers and therefore a valid solution is reached. This is done until a substitution for all type placeholders and therefore a valid solution is reached.
The reduction and substitutions are done in the first step of the algorithm. The reduction and substitutions are done in the first step of the algorithm.
%The type reduction is done by the rules in figure \ref{fig:reductionRules} %The type reduction is done by the rules in figure \ref{fig:reductionRules}