85 lines
3.6 KiB
Typst
85 lines
3.6 KiB
Typst
#set page(width: auto, height: auto)
|
|
#import "/src/lib.typ": *
|
|
|
|
#diagram({
|
|
_par("a", display-name: "Alice")
|
|
_par("b", display-name: "Bob")
|
|
|
|
_seq("a", "b", end-tip: ">", comment: `->`)
|
|
_seq("a", "b", end-tip: ">>", comment: `->>`)
|
|
_seq("a", "b", end-tip: "\\", comment: `-\`)
|
|
_seq("a", "b", end-tip: "\\\\", comment: `-\\`)
|
|
_seq("a", "b", end-tip: "/", comment: `-/`)
|
|
_seq("a", "b", end-tip: "//", comment: `-//`)
|
|
_seq("a", "b", end-tip: "x", comment: `->x`)
|
|
_seq("a", "b", start-tip: "x", comment: `x->`)
|
|
_seq("a", "b", start-tip: "o", comment: `o->`)
|
|
_seq("a", "b", end-tip: ("o", ">"), comment: `->o`)
|
|
_seq("a", "b", start-tip: "o", end-tip: ("o", ">"), comment: `o->o`)
|
|
_seq("a", "b", start-tip: ">", end-tip: ">", comment: `<->`)
|
|
_seq("a", "b", start-tip: ("o", ">"), end-tip: ("o", ">"), comment: `o<->o`)
|
|
_seq("a", "b", start-tip: "x", end-tip: "x", comment: `x<->x`)
|
|
_seq("a", "b", end-tip: ("o", ">>"), comment: `->>o`)
|
|
_seq("a", "b", end-tip: ("o", "\\"), comment: `-\o`)
|
|
_seq("a", "b", end-tip: ("o", "\\\\"), comment: `-\\o`)
|
|
_seq("a", "b", end-tip: ("o", "/"), comment: `-/o`)
|
|
_seq("a", "b", end-tip: ("o", "//"), comment: `-//o`)
|
|
_seq("a", "b", start-tip: "x", end-tip: ("o", ">"), comment: `x->o`)
|
|
})
|
|
|
|
#pagebreak()
|
|
|
|
#diagram({
|
|
_par("a", display-name: "Alice")
|
|
_par("b", display-name: "Bob")
|
|
|
|
_seq("b", "a", end-tip: ">", comment: `->`)
|
|
_seq("b", "a", end-tip: ">>", comment: `->>`)
|
|
_seq("b", "a", end-tip: "\\", comment: `-\`)
|
|
_seq("b", "a", end-tip: "\\\\", comment: `-\\`)
|
|
_seq("b", "a", end-tip: "/", comment: `-/`)
|
|
_seq("b", "a", end-tip: "//", comment: `-//`)
|
|
_seq("b", "a", end-tip: "x", comment: `->x`)
|
|
_seq("b", "a", start-tip: "x", comment: `x->`)
|
|
_seq("b", "a", start-tip: "o", comment: `o->`)
|
|
_seq("b", "a", end-tip: ("o", ">"), comment: `->o`)
|
|
_seq("b", "a", start-tip: "o", end-tip: ("o", ">"), comment: `o->o`)
|
|
_seq("b", "a", start-tip: ">", end-tip: ">", comment: `<->`)
|
|
_seq("b", "a", start-tip: ("o", ">"), end-tip: ("o", ">"), comment: `o<->o`)
|
|
_seq("b", "a", start-tip: "x", end-tip: "x", comment: `x<->x`)
|
|
_seq("b", "a", end-tip: ("o", ">>"), comment: `->>o`)
|
|
_seq("b", "a", end-tip: ("o", "\\"), comment: `-\o`)
|
|
_seq("b", "a", end-tip: ("o", "\\\\"), comment: `-\\o`)
|
|
_seq("b", "a", end-tip: ("o", "/"), comment: `-/o`)
|
|
_seq("b", "a", end-tip: ("o", "//"), comment: `-//o`)
|
|
_seq("b", "a", start-tip: "x", end-tip: ("o", ">"), comment: `x->o`)
|
|
})
|
|
|
|
#pagebreak()
|
|
|
|
#diagram({
|
|
_par("a", display-name: "Alice")
|
|
_par("b", display-name: "Bob")
|
|
|
|
_seq("a", "a", end-tip: ">", comment: `->`)
|
|
_seq("a", "a", end-tip: ">>", comment: `->>`)
|
|
_seq("a", "a", end-tip: "\\", comment: `-\`)
|
|
_seq("a", "a", end-tip: "\\\\", comment: `-\\`)
|
|
_seq("a", "a", end-tip: "/", comment: `-/`)
|
|
_seq("a", "a", end-tip: "//", comment: `-//`)
|
|
_seq("a", "a", end-tip: "x", comment: `->x`)
|
|
_seq("a", "a", start-tip: "x", comment: `x->`)
|
|
_seq("a", "a", start-tip: "o", comment: `o->`)
|
|
_seq("a", "a", end-tip: ("o", ">"), comment: `->o`)
|
|
_seq("a", "a", start-tip: "o", end-tip: ("o", ">"), comment: `o->o`)
|
|
_seq("a", "a", start-tip: ">", end-tip: ">", comment: `<->`)
|
|
_seq("a", "a", start-tip: ("o", ">"), end-tip: ("o", ">"), comment: `o<->o`)
|
|
_seq("a", "a", start-tip: "x", end-tip: "x", comment: `x<->x`)
|
|
_seq("a", "a", end-tip: ("o", ">>"), comment: `->>o`)
|
|
_seq("a", "a", end-tip: ("o", "\\"), comment: `-\o`)
|
|
_seq("a", "a", end-tip: ("o", "\\\\"), comment: `-\\o`)
|
|
_seq("a", "a", end-tip: ("o", "/"), comment: `-/o`)
|
|
_seq("a", "a", end-tip: ("o", "//"), comment: `-//o`)
|
|
_seq("a", "a", start-tip: "x", end-tip: ("o", ">"), comment: `x->o`)
|
|
})
|