st/pass_strategy_synthesis
1
0
Fork 0
mirror of https://github.com/ProgramSnail/pass_strategy_synthesis.git synced 2026-06-11 03:38:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

struct: lambda tags check fix in model

Browse source
This commit is contained in:
ProgramSnail 2026-05-16 12:28:25 +00:00
parent 8fc0ffa805
commit 506ea25b10
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
model_with_structures/model.typ
View file

@ -1385,7 +1385,7 @@ $s in stmt, f in X, x in X, a in X, p in path, pi in revpath$
rule(
name: [ lambda check],
$mu ttags lambda space overline(s) :$,
$mu ttags lambda space overline(s) : lambda overline(t)$,
)
))
#align(center, prooftree(