18 lines
384 B
Typst
18 lines
384 B
Typst
#import "@preview/fletcher:0.5.8" as fletcher: diagram, edge, node
|
|
|
|
#diagram(
|
|
cell-size: 15mm,
|
|
$
|
|
G edge(f, ->) edge("d", pi, ->>) & im(f) \
|
|
G slash ker(f) edge("ur", tilde(f), "hook-->")
|
|
$,
|
|
)
|
|
|
|
#import "@preview/codly:2.0.0" as codly
|
|
#show raw.where(block: true): codly.new
|
|
|
|
```rs
|
|
pub fn greeting(name: &str) -> String {
|
|
format!("Hello, {name}!")
|
|
}
|
|
```
|