st/pass_strategy_synthesis
1
0
Fork 0
mirror of https://github.com/ProgramSnail/pass_strategy_synthesis.git synced 2026-04-26 16:24:50 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

struct args synt: todo chenge

Browse source
This commit is contained in:
ProgramSnail 2026-04-03 10:05:23 +00:00
parent 3ce800773e
commit 7e88e1b10a
1 changed files with 12 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

16
model_with_structures/model.typ
View file

@ -208,8 +208,6 @@ $d space @ space overline(x)$ - запись применения функции
// TODO: FIXME: define argtag operation
#let argtag = `argtag`
// TODO: FIXME: define addpaths operation: ~>
// FIXME
#align(center, prooftree(
vertical-spacing: 4pt,
@ -226,6 +224,18 @@ $d space @ space overline(x)$ - запись применения функции
#h(10pt)
// TODO: FIXME: define addpaths operation: ~>
// #align(center, prooftree(
// vertical-spacing: 4pt,
// rule(
// name: [ add paths init],
// $mu stretch(~>)^nothing_(cl sigma, mu cr) mu$,
// )
// ))
#h(10pt)
#align(center, prooftree(
vertical-spacing: 4pt,
rule(
@ -299,8 +309,6 @@ $d space @ space overline(x)$ - запись применения функции
#h(10pt)
// TODO: special operation to add all paths one by one ??
#align(center, prooftree(
vertical-spacing: 4pt,
rule(