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

Fix match rule

Browse Source
This commit is contained in:
Andreas Stadelmeier 2024-08-27 17:47:11 +02:00
parent c9c531741e
commit 9dfef9db26
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
aspUnify.tex
View File

@ -334,7 +334,7 @@ described in chapter \ref{sec:translation}.
\tv{a} \lessdot \type{N}_2 \\ \tv{a} \lessdot \type{N}_2 \\
\type{N}_1 << \type{N}_2 \type{N}_1 << \type{N}_2
}{ }{
\type{T}_1 \lessdot \type{T}_2 \type{N}_1 \lessdot \type{N}_2
} }
\and \and
\inferrule[Adopt]{ \inferrule[Adopt]{