fix Matěj damage

Makefile

@@ -2,11 +2,16 @@
 view_example: example.pdf
 	xdg-open $<
 
+.PHONY: watch_example
+watch_example:
+	typst watch --font-path template/fonts example.typ & xdg-open example.pdf
+
 .PHONY: example
 example: example.pdf
 
 TO_PACK := $(shell find template -type f) template/LICENSE
-PACK_TARGETS := $(TO_PACK:%=pack/tultemplate2/%) pack/tultemplate2/example.typ
+PACK_TARGETS := $(TO_PACK:%=pack/tultemplate2/%) pack/tultemplate2/example.typ \
+				pack/tultemplate2/citations.bib
 
 .PHONY: pack
 pack: pack/tultemplate2.zip
@@ -21,7 +26,7 @@ pack/tultemplate2.zip: $(PACK_TARGETS)
 	rm -f $@
 	cd pack && zip -r tultemplate2.zip tultemplate2
 
-pack/tultemplate2/example.typ: example.typ
+pack/tultemplate2/%: %
 	ln -f $< $@
 
 pack/tultemplate2/template/LICENSE: LICENSE
@@ -36,3 +41,5 @@ TEMPLATE_SRCS := $(shell find template -type f)
 
 %.pdf: %.typ $(TEMPLATE_SRCS)
 	typst compile --font-path template/fonts $<
+
+include tests/make.mk

example.typ

@@ -1,7 +1,7 @@
 #import "template/template.typ": *
 
 #show: tultemplate2.with(
-  title: "Návod na použití Typst TUL šablony",
+  title: (cs: "Návod na použití Typst TUL šablony"),
   author: "Ondřej Mekina, Matěj Žucha",
   supervisor: "Ondřej Mekina",
 )
@@ -82,7 +82,7 @@ hlášek (nebo se můžete podívat do zdrojového souboru pro toto PDF `example
 Nyní pojďme přidat nějaký obsah na titulní stránku. Jednoduše do volání šablony přidáme další
 parametry.
 ```typst
-#show: tultemplate.with(..., title: "Můj úžasný dokument", author: "Já")
+#show: tultemplate.with(..., title: (cs: "Můj úžasný dokument"), author: "Já")
 ```
 Všechny možné parametry by vám měl našeptávat váš editor (nebo LSP) -- poslouchejte takové nápovědy,
 opravdu hodně vám to usnadní práci.
@@ -191,6 +191,34 @@ Tady je praktická ukázka jednoduchého vložení obrázku s popiskem:
   Logo *TUL*
 ])
 
+Obrázky se zobrazí na začátku dokumentu v seznamu (pokud to daný typ dokumentu vyžaduje).
+
+== Tabulky
+
+Tabulky lze vytvářet takto:
+
+```typst
+#figure(table(
+  columns: 3,
+  table.header([], [*Sloupec 1*], [*Sloupec 2*]),
+  [*Řádek 1*], [a], [b],
+  [*Řádek 2*], [c], [d],
+), caption: "Moje krásná tabulka")
+```
+
+#highlight[Hlavičku tabulky (první řádek) je dobré zabalit do funkce header (viz. výše)], to je
+kvůli tomu, že Typst do vygenerovaného PDF souboru poté přidá metadata (například pro osoby se
+zrakovým postižením).
+
+#figure(table(
+  columns: 3,
+  table.header([], [*Sloupec 1*], [*Sloupec 2*]),
+  [*Řádek 1*], [a], [b],
+  [*Řádek 2*], [c], [d],
+), caption: "Moje krásná tabulka")
+
+Tabulky se zobrazí na začátku dokumentu v seznamu (pokud to daný typ dokumentu vyžaduje).
+
 == Citace
 
 Šablona podporuje správu citací pomocí standardního BibTeX @bibtex souboru, stejně jako
@@ -257,6 +285,78 @@ co nejvíce využívala základních funkcí Typstu -- například:
 
 V této kapitole se naučíme vymaxovat využití této šablony za pomocí dalších funkcí a syntaxe.
 
+#pagebreak(weak: true)
+== Parametry této šablony
+
+Šablonu standardně použijete takto:
+```typst
+#show: tultemplate2.with(
+  <název_parametru>: <hodnota_parametru>,
+  <nazev_dalšího_parametru>: "<hodnota_dalšího_parametru>",
+  ...
+)
+```
+
+Funkce `tultemplate2` přijímá následující parametry.
+Zvýrazněné hodnoty jsou základní -- pokud vynecháte parametr, pak bude použita tato hodnota.
+
+#line()
+- `style` (vizuální styl dokumentu)
+  - *`"classic"`* - Klasický vizuální styl. Tento styl je neblíže klasické formální
+    podobě dokumentů. _(doporučeno pro nováčky této šablony)_
+#line()
+- `faculty` (zkratka fakulty)
+  - *`"tul"`* - barvy a logomarky univerzity
+  - `"fs"` - fakulta strojní
+  - `"ft"` - fakulta textilní
+  - `"fp"` - fakulta přírodovědně-humanitní a pedagogická
+  - `"ef"` - ekonomická fakulta
+  - `"fua"` - fakulta umění a architektury
+  - `"fm"` - fakulta mechatroniky, informatiky a mezioborových studií
+  - `"fzs"` - fakulta zdravotnických studií
+  - `"cxi"` - ústav pro nanomateriály, pokročilé technologie a inovace
+#line()
+- `lang` (základní jazyk dokumentu)
+  - *`"cs"`* - čeština
+  - `"en"`
+#line()
+- `document` (typ dokumentu)
+  - *`"other"`* - nespecifikovaný (neformální) typ dokumentu
+  - `bp` - Bakalářská práce
+#line()
+- `title` (nadpis dokumentu)
+  - Ve formátu `(<zkratka_jazyka>: "<nadpis>")`, například `(cs: "Můj nadpis")`
+#line()
+- `author` (autor/autoři dokumentu)
+  - Příklad: `"Pavel Novák"` nebo `"Petra Velká, Jindřich Peterka"`
+#line()
+- `author_gender` (rod autora v českém jazyce - není potřeba pro angličtinu)
+  - `"masculine"` - Mužský rod
+  - `"feminine"` - Ženský rod
+  - `"we"` - Množné číslo
+#line()
+- `supervisor` (vedoucí práce)
+  - Příklad: `"prof. Jindřich Jindřich"`
+#line()
+- `programme` (studijní program autora)
+  - Ve formátu `(<zkratka_jazyka>: "<název_programu>")`
+#line()
+- `abstract` (abstrakt)
+  - Ve formátu `(<zkratka_jazyka>: [<abstrakt>])`, například `(cs: [Můj *krásný* abstrakt.])`
+#line()
+- `keywords` (klíčová slova zobrazovaná pod abstraktem)
+  - Ve formátu `(<zkratka_jazyka>: ("slovo1", "slovo2", ...))`
+#line()
+- `assignment` (PDF soubor se zadáním)
+  - Ve formě cesty k souboru, například: `"zadani.pdf"`. Pokud je tento argument vynechán, bude
+    vložena hláška "vložte zadání" na příslušné místo v dokumentu -- tu stranu můžete pak nahradit
+    originálem zadání.
+#line()
+- `citations` (BibTex soubor s citacemi)
+  - Ve formě cesty k souboru, například: `"citace.bib"`. Pokud není specifikován, bude použit
+    výchozí (`"citations.bib"`).
+
+#pagebreak(weak: true)
 == Zkratky
 
 LaTeX TUL šablona má k začátku dokumentu seznam zkratek. Proto jsme ho přidali i do této šablony.

template/attachments.typ

@@ -0,0 +1,167 @@
+#import "utils.typ": assert_type_signature, is_none
+#import "lang.typ": get_lang_item
+
+#let attachment_data = state("attachment_data");
+
+#let attach_link(name, link) = {
+  assert_type_signature(link, "string", "attach link argument");
+  assert_type_signature(name, "string", "attach link name argument");
+  ("link", link, name)
+}
+
+#let attach_content(name, inner_content) = {
+  assert_type_signature(inner_content, "content", "attach content argument");
+  assert_type_signature(name, "string", "attach content name argument");
+  ("content", inner_content, name)
+}
+
+#let attach_pdf(name, filepath) = {
+  assert_type_signature(filepath, "string", "attach pdf argument");
+  assert_type_signature(name, "string", "attach pdf name argument");
+  ("pdf", filepath, name)
+}
+
+#let attach_file_reference(name, filename) = {
+  assert_type_signature(filename, "string", "attach file reference filename argument");
+  assert_type_signature(name, "string", "attach file reference name argument");
+  ("ref", filename, name)
+}
+
+#let make_content_anchor(idx) = {
+  "attachment_" + str(idx + 1)
+}
+
+#let generate_attachment_content(attachment, idx) = {
+  let attachment_type = attachment.at(0);
+  if attachment_type == "content" {
+    let anchor = make_content_anchor(idx);
+    [#metadata(attachment.at(1)) #label(anchor)];
+  }
+}
+
+#let generate_attachment_info(attachment, idx) = {
+  let attachment_type = attachment.at(0);
+  if type(attachment_type) != str {
+    panic("invalid attachment - wrap the attach using: attach_content, attach_pdf, ...");
+  }
+  if attachment_type == "content" {
+    let anchor = make_content_anchor(idx);
+    "(\"content\",\"" + anchor + "\",\"" + attachment.at(2) + "\")"
+  } else if attachment_type == "pdf" {
+    "(\"pdf\",\"" + attachment.at(1) + "\",\"" + attachment.at(2) + "\")"
+  } else if (
+    attachment_type == "pdf" or
+    attachment_type == "link" or
+    attachment_type == "ref"
+  ) {
+    "(" + attachment.map((v) => { "\"" + v + "\"" }).join(",") + ",)"
+  } else {
+    panic("unknown attachment type '" + attachment_type + "'");
+  }
+}
+
+#let attachments(attachments) = {
+  assert_type_signature(
+    attachments, "array[array[string | content]] | array[string | content]", "attachments"
+  );
+  context {
+    if not is_none(attachment_data.get()) {
+      panic("re-definition of attachments - attachments must only be defined once");
+    }
+    if attachments.len() == 0 {
+      attachment_data.update("false");
+    } else {
+      attachment_data.update({
+        "(" + if type(attachments) == array and type(attachments.at(0)) == array {
+          for (idx, attachment) in attachments.enumerate() {
+            (generate_attachment_info(attachment, idx),)
+          }.join(", ")
+        } else {
+          generate_attachment_info(attachments, 0)
+        } + ",)"
+      })
+      if type(attachments) == array and type(attachments.at(0)) == array {
+        for (idx, attachment) in attachments.enumerate() {
+          generate_attachment_content(attachment, idx);
+        }
+      } else {
+        generate_attachment_content(attachments, 0);
+      }
+    }
+  }
+}
+
+#let list_entry(language, entry, is_embedded) = {
+  let entry_type = entry.at(0);
+  entry.at(2);
+  if entry_type == "link" {
+    ": ";
+    link(entry.at(1));
+  } else if entry_type == "ref" {
+    ": soubor ";
+    raw(entry.at(1));
+  }
+  if is_embedded {
+    text(
+      " (" + get_lang_item(language, "attached_bellow") + ")",
+      style: "italic",
+      fill: black.lighten(50%),
+    );
+  }
+}
+
+#let attachment_list(language) = {
+  context {
+    let data = attachment_data.get();
+    if is_none(data) {
+      return;
+    }
+    let data = eval(data);
+    heading(get_lang_item(language, "attachments"), numbering: none);
+
+    // listing
+    let has_embedded = false;
+    let enum_items = ();
+    for attachment in data {
+      let attachment_type = attachment.at(0);
+      let is_embedded = false;
+      if attachment_type == "content" or attachment_type == "pdf" {
+        has_embedded = true;
+        is_embedded = true;
+      }
+      enum_items.push(list_entry(language, attachment, is_embedded));
+    }
+    enum(..enum_items.map((v) => { enum.item(v) }), spacing: 1em);
+
+    if has_embedded {
+      pagebreak(weak: true);
+    }
+
+    // embedded
+    set page(footer: none);
+    for (idx, attachment) in data.enumerate() {
+      let attachment_type = attachment.at(0);
+      if attachment_type == "content" {
+        heading(
+          level: 2,
+          get_lang_item(language, "attachment") + " " + str(idx + 1),
+          numbering: none,
+          outlined: false,
+        );
+        query(label(attachment.at(1))).at(0).value;
+      } else if attachment_type == "pdf" {
+        import "@preview/muchpdf:0.1.1": muchpdf
+        page(place(center + horizon, heading(
+          level: 2,
+          get_lang_item(language, "attachment") + " " +
+          str(idx + 1) + " " +
+          get_lang_item(language, "next_page_attachment"),
+          numbering: none,
+          outlined: false,
+        )), margin: 0em);
+        set page(margin: 0em);
+        muchpdf(read("../" + attachment.at(1), encoding: none), width: 100%);
+      }
+    }
+  }
+}

template/classic/bp.typ

@@ -0,0 +1,60 @@
+#import "../lang.typ": get_lang_item
+#import "common.typ": (
+  mainpage,
+  default_styling,
+  assignment,
+  disclaimer,
+  abstract,
+  toc,
+  abbrlist,
+  imagelist,
+  tablelist,
+  bibliogr
+)
+#import "../attachments.typ": attachment_list
+#import "../utils.typ": is_none, assert_dict_has, assert_not_none
+
+#let bp(
+  // general settings
+  faculty_id, faculty_color, language, assignment_document, citation_file,
+
+  // document info
+  title, author, author_gender, supervisor, consultant, study_programme, study_branch, abstract_content,
+  keywords,
+
+  content
+) = {
+  let force_langs = ("cs", "en");
+  assert_not_none(title, "title");
+  assert_dict_has(force_langs, title, "title");
+
+  assert_not_none(study_programme, "study programme");
+  assert_dict_has((language,), study_programme, "study programme");
+  assert_not_none(study_branch, "study branch");
+  assert_dict_has((language,), study_branch, "study branch");
+
+  assert_not_none(abstract_content, "abstract");
+  assert_dict_has(force_langs, abstract_content, "abstract");
+  if not is_none(keywords) {
+    assert_dict_has(force_langs, keywords, "keywords");
+  }
+  if language == "cs" {
+    assert_not_none(author_gender, "author gender");
+  }
+
+  mainpage(faculty_id, language, "bp", title, author, supervisor, consultant, study_programme, study_branch);
+  assignment(language, assignment_document);
+  default_styling(false, faculty_color, {
+    disclaimer(language, faculty_id, "bp", author, author_gender);
+    abstract("cs", title, abstract_content, keywords);
+    abstract("en", title, abstract_content, keywords);
+    toc(language);
+    abbrlist(language);
+    imagelist(language);
+    tablelist(language);
+    pagebreak(weak: true);
+    content;
+    bibliogr(language, citation_file);
+    attachment_list(language);
+  });
+}

template/classic/classic.typ

@@ -0,0 +1,48 @@
+// tools & utils
+#import "../theme.typ": faculty_logotype, tul_logomark, faculty_color
+#import "../lang.typ": lang_id, get_lang_item
+#import "../utils.typ": assert_in_dict, assert_in_arr, map_none, assert_dict_has
+
+// thesis types
+#import "bp.typ": bp
+#import "other.typ": other
+
+#let template_classic(
+  // general settings
+  language, faculty_id, document_type, citation_file, assignment_document,
+
+  // document info
+  title, author, author_gender, supervisor, consultant, study_programme, study_branch, abstract, keywords,
+
+  // content
+  content,
+) = {
+  // argument pre-checking
+  let document_types = (
+    "bp": bp,
+    "other": other,
+  )
+  assert_in_dict(document_type, document_types, "document type");
+  map_none(title, (v) => assert_dict_has((language,), v, "title"));
+  map_none(study_programme, (v) => assert_dict_has((language,), v, "study programme"));
+  map_none(study_branch, (v) => assert_dict_has((language,), v, "study branch"));
+
+
+  document_types.at(document_type)(
+    faculty_id,
+    faculty_color(faculty_id),
+    language,
+    assignment_document,
+    map_none(citation_file, (v) => "../../" + v),
+    title,
+    author,
+    author_gender,
+    supervisor,
+    consultant,
+    study_programme,
+    study_branch,
+    abstract,
+    keywords,
+    content,
+  );
+}

template/classic/common.typ

@@ -0,0 +1,342 @@
+#import "../theme.typ": faculty_logotype, tul_logomark, faculty_color
+#import "../lang.typ": get_lang_item
+#import "../utils.typ": is_none
+
+#let base_font = "Inter";
+#let mono_font = "Noto Sans Mono";
+#let serif_font = "Merriweather";
+#let tul_logomark_size = 6.5em;
+
+// COUNTERS
+
+#let image_count = counter("image_count");
+#let table_count = counter("table_count");
+
+// TYPST ELEMENT STYLING
+
+#let default_styling(flip_bonding, faculty_color, content) = {
+  // page
+  set page(
+    margin: if flip_bonding {
+      (inside: 4cm, top: 3cm, bottom: 3cm)
+    } else {
+      (left: 4cm, top: 3cm, bottom: 3cm)
+    },
+    numbering: "1", footer: {
+    context {
+      let page = counter(page).get().at(0);
+      if flip_bonding {
+        align(str(page), if calc.rem(page, 2) == 1 { right } else { left });
+      } else {
+        align(str(page), right);
+      }
+    }
+  });
+
+  // text
+  set text(font: serif_font);
+  set par(justify: true);
+
+  // figures
+  let figure_numbering(realcount, c) = {
+    context realcount.step();
+    context numbering("1. 1", counter(heading).get().at(0), c)
+  };
+  show figure.where(kind: image): set figure(numbering: figure_numbering.with(image_count));
+  show figure.where(kind: table): set figure(numbering: figure_numbering.with(table_count));
+  show figure.where(kind: table): set figure.caption(position: top);
+  show figure: it => {
+    block(it, above: 2em, below: 2em);
+  }
+  set image(width: 80%);
+
+  // heading
+  set heading(numbering: "1.1.1 ");
+  show heading: it => {
+    set par(justify: false);
+    block(
+      above: 2em,
+      below: 2em,
+      text(it, faculty_color, font: "TUL Mono", size: 1.2em)
+    );
+  };
+  show heading.where(level: 1): it => {
+    // reset figure counters
+    context counter(figure.where(kind: image)).update(0);
+    context counter(figure.where(kind: table)).update(0);
+
+    pagebreak(weak: true);
+    v(2cm);
+    it
+  };
+
+  // other
+  show raw: set text(font: mono_font);
+  show raw.where(block: true): it => {
+    block(it, fill: rgb("#eee"), inset: 1em)
+  };
+  set highlight(fill: faculty_color.lighten(90%));
+
+  content
+}
+
+
+#let header(faculty_id, language) = {
+  let logotype = faculty_logotype(faculty_id, language);
+  grid(
+    block(logotype, width: 100%),
+    block(align(right, block(tul_logomark(faculty_id), height: tul_logomark_size))),
+    columns: 2
+  );
+}
+
+//  DOCUMENT INFO
+
+#let info(
+  faculty_id,
+  language,
+  document_type,
+  title, author, supervisor, consultant, study_programme, study_branch,
+) = {
+  let info_name_value_padding = 5em;
+  let info_name_min_width = 10em;
+
+  // document type
+  if type(document_type) != type(none) {
+    text(get_lang_item(language, document_type), weight: "bold", font: base_font);
+    v(0em);
+  }
+
+  // title
+  text(
+    title, weight: "bold", size: 2em,
+    faculty_color(faculty_id), font: base_font,
+  );
+  v(0em);
+
+  // other info
+  // [field_name, field_value, bold]
+  let info_fields = (
+    ("study_programme", study_programme, false),
+    ("study_branch", study_branch, false),
+    ("author", author, true),
+    ("supervisor", supervisor, false),
+    ("consultant", consultant, false),
+  )
+  context {
+    let max_field_name_width = calc.max(..info_fields.map((v) => {
+      if type(v.at(1)) == type(none) {
+        0pt
+      } else {
+        measure(get_lang_item(language, v.at(0)) + ":").width
+      }
+    }), info_name_min_width.to-absolute());
+    grid(
+      columns: 2,
+      gutter: .5em,
+      ..info_fields.filter((v) => { type(v.at(1)) != type(none) }).map((v) => {
+        (
+          align(top, block(
+            text(get_lang_item(language, v.at(0)) + ":", style: "italic", font: base_font),
+            width: max_field_name_width + info_name_value_padding
+          )),
+          text(v.at(1), font: base_font, weight: if v.at(2) { "bold" } else { "regular" })
+        )
+      }).flatten(),
+    );
+    v(1em);
+    h(max_field_name_width + info_name_value_padding);
+    text(get_lang_item(language, "city") + " " + str(datetime.today().year()), font: base_font);
+  }
+}
+
+// MAINPAGE
+
+#let mainpage(
+  faculty_id,
+  language,
+  document_type,
+  title, author, supervisor, consultant, study_programme, study_branch
+) = {
+  import "../utils.typ": has_all_none, map_none
+  let nonetype = type(none);
+  page({
+    if has_all_none((
+      document_type, title, author, supervisor, consultant, study_programme,
+    )) {
+      place(center + horizon, align(left, faculty_logotype(faculty_id, language)));
+    } else {
+      header(faculty_id, language);
+      align({
+        info(
+          faculty_id, language, document_type, map_none(title, (v) => v.at(language)),
+          author, supervisor, consultant, map_none(study_programme, (v) => v.at(language)),
+          map_none(study_branch, (v) => v.at(language)),
+        );
+        v(5em);
+      }, bottom);
+    }
+  }, margin: 2cm);
+}
+
+// ASSIGNMENT PAGE
+
+#let assignment(language, document) = {
+  if type(document) == type(none) {
+    page(
+      place(center + horizon, text(
+        get_lang_item(language, "place_assignment"),
+        fill: red,
+        size: 3em,
+        font: base_font,
+        weight: "bold",
+      )),
+      margin: 0em,
+      footer: none,
+    );
+    return;
+  }
+  import "@preview/muchpdf:0.1.1": muchpdf
+  set page(margin: 0em);
+  muchpdf(read(document, encoding: none));
+}
+
+// DISCLAIMER PAGE
+
+#let disclaimer(language, faculty_id, disclaimer_type, author, author_gender) = {
+  import "../lang.typ": disclaimer
+  heading(get_lang_item(language, "disclaimer"), numbering: none, outlined: false);
+  par(
+    text(disclaimer(language, disclaimer_type, author_gender))
+  );
+  v(5em);
+  grid(
+    columns: 2,
+    gutter: 1em,
+    block(
+      text(datetime.today().display(get_lang_item(language, "date")), lang: "cs"), width: 100%
+    ),
+    text(author),
+  );
+}
+
+// ABSTRACT
+
+#let abstract(language, title, content, keywords) = {
+  heading(text(title.at(language), font: base_font), numbering: none, outlined: false);
+  v(2em);
+  heading(
+    level: 2,
+    get_lang_item(language, "abstract"),
+    numbering: none,
+    outlined: false,
+  );
+  text(content.at(language));
+  if not is_none(keywords) and type(keywords.at(language)) != type(none) {
+    linebreak();
+    linebreak();
+    text(get_lang_item(language, "keywords") + ": ", weight: "bold", font: base_font);
+    text(keywords.at(language).join(", "));
+  }
+}
+
+// _ OUTLINE FIGURE INNER
+#let _outline_figure_inner(selector, title, body_mapper) = {
+  let entry(selector, element) = {
+    link(
+      element.location(),
+      grid(
+        columns: 3,
+        gutter: .5em,
+        stack(
+          dir: ltr,
+          text(numbering(
+            "1.1",
+            counter(heading).at(element.location()).at(0),
+            counter(selector).at(element.location()).at(0),
+          )),
+          h(.5em),
+          text(body_mapper(element)),
+        ),
+        box(repeat([.], gap: 0.15em)),
+        str(element.location().page()),
+      ),
+    )
+  }
+  heading(title, numbering: none);
+  for el in query(figure.where(kind: selector)) {
+    if is_none(el.caption) {
+      continue;
+    }
+    entry(figure.where(kind: selector), el);
+  }
+}
+
+// _ FIGURE OUTLINE
+
+#let _figure_outline(realcount, target, title) = {
+  context {
+    if realcount.final().at(0) == 0 {
+      return;
+    }
+    _outline_figure_inner(target, title, (it) => it.caption.body);
+  }
+}
+
+// IMAGE LIST
+
+#let imagelist(language) = {
+  _figure_outline(image_count, image, get_lang_item(language, "image_list"));
+}
+
+// TABLE LIST
+
+#let tablelist(language) = {
+  _figure_outline(table_count, table, get_lang_item(language, "table_list"));
+}
+
+// ABBREVIATION LIST
+
+#let abbrlist(language) = {
+  import "../abbreviations.typ": abbrlist
+  context {
+    let abbrs = abbrlist();
+    let max_abbr_width = if abbrs.len() > 0 {
+      calc.max(abbrs.keys().map((v) => measure(v).width)).at(0)
+    } else { return };
+    pagebreak(weak: true);
+    heading(get_lang_item(language, "abbrs"), numbering: none);
+    align(center, grid(
+      columns: 2,
+      gutter: 1em,
+      ..abbrs.pairs().map((a) => {
+        (
+          align(left, block(text(a.at(0), weight: "bold"), width: max_abbr_width + 1em)),
+          text(a.at(1))
+        )
+      }).flatten()
+    ));
+  }
+}
+
+// TABLE OF CONTENTS
+
+#let toc(language) = {
+  show outline.entry.where(level: 1): it => {
+    show repeat: none;
+    block(text(it, weight: "bold", size: 1.2em), above: 1.5em);
+  };
+  outline(title: get_lang_item(language, "toc"));
+}
+
+// BIBLIOGRAPHY
+
+#let bibliogr(language, citations_file) = {
+  if language == "cs" {
+    bibliography(citations_file, style: "../tul_citace.csl");
+  } else if language == "en" {
+    bibliography(citations_file, style: "iso-690-numeric");
+  } else {
+    panic("unknown language for bibliography '" + language + "'");
+  }
+}

template/classic/other.typ

@@ -0,0 +1,39 @@
+#import "../lang.typ": get_lang_item
+#import "common.typ": (
+  mainpage,
+  default_styling,
+  assignment,
+  disclaimer,
+  abstract,
+  toc,
+  abbrlist,
+  imagelist,
+  tablelist,
+)
+#import "../attachments.typ": attachment_list
+#import "../utils.typ": is_none, assert_not_none, assert_dict_has, assert_in_arr
+
+#let other(
+  // general settings
+  faculty_id, faculty_color, language, assignment_document, citation_file,
+
+  // document info
+  title, author, _, supervisor, consultant, study_programme, study_branch, abstract_content, keywords,
+
+  content
+) = {
+  assert_not_none(title, "title");
+  assert_dict_has((language,), title, "title");
+
+  mainpage(faculty_id, language, none, title, author, supervisor, consultant, study_programme, study_branch);
+  default_styling(true, faculty_color, {
+    toc(language);
+    abbrlist(language);
+    imagelist(language);
+    tablelist(language);
+    pagebreak(to: "even", weak: true);
+    content;
+    bibliography(citation_file, style: "../tul_citace.csl");
+    attachment_list(language);
+  });
+}

template/lang.json

@@ -1,25 +1,88 @@
 {
 	"cs": {
 		"author": "Autor",
+		"authors": "Autoři",
 		"supervisor": "Vedoucí práce",
+		"consultant": "Konzultant práce",
 		"study_programme": "Studijní program",
+		"study_branch": "Studijní obor",
 
 		"bp": "Bakalářská práce",
-		"dp": "Diplomová práce",
-		"dis": "Disertační práce",
 
-		"city": "Liberec"
+		"city": "Liberec",
+
+		"toc": "Obsah",
+
+		"disclaimer": "Prohlášení",
+		"disclaimer_content": "Prohlašuj{g:i|i|eme}, že {svůj} {práce:tu} js{g:em|em|me} vypracoval{g:|a|i} samostatně jako původní dílo s použitím uvedené literatury a na základě konzultací s vedoucím {{g:mé|mé|naší}} bakalářské práce a konzultantem.\n\nJs{g:em|em|me} si vědom{g:|a|i} toho, že na {{g:moji|moji|naši}} {práce:tu} se plně vztahuje zákon č. 121/2000 Sb., o právu autorském, zejména § 60 – školní dílo.\n\nBer{g:u|u|eme} na vědomí, že Technická univerzita v Liberci nezasahuje do {g:mých|mých|našich} autorských práv užitím {{g:mé|mé|naší}} {práce:té} pro vnitřní potřebu Technické univerzity v Liberci.\n\nUžij{g:i|i|eme}-li {práce:tu} nebo poskytn{g:u|u|eme}-li licenci k {jejímu} využití, js{g:em|em|me} si vědom{g:|a|i} povinnosti informovat o této skutečnosti Technickou univerzitu v Liberci; v tomto případě má Technická univerzita v Liberci právo od{g:e|e|} {g:mne|mne|nás} požadovat úhradu nákladů, které vynaložila na vytvoření díla, až do jejich skutečné výše.\n\nSoučasně čestně prohlašuj{g:i|i|eme}, že text elektronické podoby práce vložený do IS/STAG se shoduje s textem tištěné podoby práce.\n\nBer{g:u|u|eme} na vědomí, že {{g:můj|můj|naše}} {práce:ta} bude {zveřejněn} Technickou univerzitou v Liberci v souladu s § 47b zákona č. 111/1998 Sb., o vysokých školách a o změně a doplnění dalších zákonů (zákon o vysokých školách), ve znění pozdějších předpisů.\n\nJs{g:em|em|me} si vědom{g:|a|i} následků, které podle zákona o vysokých školách mohou vyplývat z porušení tohoto prohlášení.",
+
+		"disclaimer_replace": {
+			"bp": {
+				"práce:ta": "bakalářská práce",
+				"práce:tu": "bakalářskou práci",
+				"práce:té": "bakalářské práce",
+				"moji": "moji",
+				"naše": "naše",
+				"naši": "naši",
+				"naší": "naší",
+				"mé": "mé",
+				"můj": "moje",
+				"svůj": "svoji",
+				"jejímu": "jejímu",
+				"zveřejněn": "zveřejněna"
+			}
+		},
+
+		"date": "[day]. [month]. [year]",
+
+		"abstract": "Abstrakt",
+		"keywords": "Klíčová slova",
+		"abbrs": "Seznam zkratek",
+		"image_list": "Seznam obrázků",
+		"table_list": "Seznam tabulek",
+		"attachments": "Přílohy",
+		"attachment": "Příloha",
+		"next_page_attachment": "začíná na další straně",
+		"attached_bellow": "dále přiloženo",
+
+		"place_assignment": "Sem vložte zadání"
 	},
 
 	"en": {
-		"author": "Autor",
+		"author": "Author",
+		"authors": "Authors",
 		"supervisor": "Supervisor",
+		"consultant": "Consultant",
 		"study_programme": "Study programme",
+		"study_branch": "Study branch",
 
 		"bp": "Bachelor thesis",
-		"dp": "Diploma thesis",
-		"dis": "Dissertation thesis",
 
-		"city": "Liberec"
+		"city": "Liberec",
+
+		"toc": "Contents",
+
+		"disclaimer": "Declaration",
+		"disclaimer_content": "{g:I|We} hereby certify, {g:I|we}, {g:myself|ourselves}, have written {g:my|our} {thesis} as an original and primary work using the literature listed below and consulting it with {g:my|our} thesis supervisor and {g:my|our} thesis counsellor.\n\n{g:I|We} acknowledge that {g:my|our} {thesis} is fully governed by Act No. 121/2000 Coll., the Copyright Act, in particular Article 60 – School Work.\n\n{g:I|We} acknowledge that the Technical University of Liberec does not infringe {g:my|our} copyrights by using {g:my|our} {thesis} for internal purposes of the Technical University of Liberec.\n\n{g:I|We} {g:am|are} aware of {g:my|our} obligation to inform the Technical University of Liberec on having used or granted license to use the results of {g:my|our} {thesis}; in such a case the Technical University of Liberec may require reimbursement of the costs incurred for creating the result up to their actual amount.\n\nAt the same time, {g:I|we} honestly declare that the text of the printed version of {g:my|our} {thesis} is identical with the text of the electronic version uploaded into the IS STAG.\n\n{g:I|We} acknowledge that the Technical University of Liberec will make {g:my|our} {thesis} public in accordance with paragraph 47b of Act No. 111/1998 Coll., on Higher Education Institutions and on Amendment to Other Acts (the Higher Education Act), as amended.\n\n{g:I|We} {g:am|are} aware of the consequences which may under the Higher Education Act result from a breach of this declaration.",
+
+		"disclaimer_replace": {
+			"bp": {
+				"thesis": "bachelor thesis"
+			}
+		},
+
+		"date": "[year]-[month]-[day]",
+
+		"abstract": "Abstract",
+		"keywords": "Keywords",
+		"abbrs": "List of abbreviations",
+		"image_list": "List of images",
+		"table_list": "List of tables",
+		"attachments": "Attachments",
+		"attachment": "Attachment",
+		"next_page_attachment": "begins on the next page",
+		"attached_bellow": "attached bellow",
+
+		"place_assignment": "Insert your assignment here"
 	}
 }

template/lang.typ

@@ -1,4 +1,4 @@
-#import "utils.typ": assert_in_dict
+#import "utils.typ": assert_in_dict, assert_in_arr, map_none, ok_or
 
 #let lang_ids = (
   cs: 0,
@@ -20,3 +20,44 @@
   let lang_items = fetch_lang_items();
   return lang_items.at(lang_abbr).at(item_name);
 }
+
+#let replace_czech_gender(raw, gender) = {
+  let genders = (
+    feminine: 1,
+    masculine: 0,
+    we: 2,
+  );
+  assert_in_dict(gender, genders, "author gender");
+  raw.replace(regex("\{g:([^|]*)\|([^|]*)\|([^}]*)\}"), (match) => {
+    match.captures.at(genders.at(gender))
+  });
+}
+
+#let replace_english_pronounce(raw, pronounce) = {
+  let pronounce = ok_or(pronounce, "me");
+  let pronouns = (
+    me: 0,
+    we: 1,
+  );
+  assert_in_dict(pronounce, pronouns, "author gender");
+  raw.replace(regex("\{g:([^|]*)\|([^}]*)\}"), (match) => {
+    match.captures.at(pronouns.at(pronounce))
+  });
+}
+
+#let disclaimer(language, document_type, author_gender) = {
+  let disclaimer = get_lang_item(language, "disclaimer_content");
+  let replacements = get_lang_item(language, "disclaimer_replace").at(document_type);
+  if language == "cs" {
+    disclaimer = replace_czech_gender(disclaimer, author_gender);
+  } else if language == "en" {
+    disclaimer = replace_english_pronounce(disclaimer, author_gender);
+  }
+  for (key, value) in replacements.pairs() {
+    disclaimer = disclaimer.replace("{" + key + "}", value);
+  }
+  if disclaimer.contains("{") or disclaimer.contains("}") {
+    panic("invalid language file");
+  }
+  disclaimer
+}

template/template.typ

@@ -7,6 +7,9 @@
 // Git: https://git.zumepro.cz/tul/tultemplate2
 
 #import "prototyping.typ": todo, profile
+#import "attachments.typ": (
+  attachments, attach_content, attach_pdf, attach_link, attach_file_reference
+)
 
 // TUL Template 2
 //
@@ -22,40 +25,73 @@
 // - style (str): Visual style to use. This can be "classic".
 // - faculty (str): Factulty abbreviation. One of "fs", "ft", "fp", "ef", "fua", "fm", "fzs", "cxi".
 // - lang (str): Language code. This can be "cs" or "en".
-// - document (str): Type of document. This can be "bp", "dp", "ds".
+// - document (str): Type of document. This can be "bp" or "other".
-// - title (str): The title of the document.
+// - title (dictionary): The title of the document.
 // - author (str): The name of the document's author.
+// - author_gender (str): The gender of the document's author. Needed only for the `cs` language.
 // - supervisor (str): The name of the document's supervisor.
-// - programme (str): Study programme.
+// - programme (dictionary): Study programme.
+// - abstract (dictionary): The abstract.
+// - keywords (dictionary): The abstract keywords.
+// - assignment (str): Filepath of the assignment document/page.
 // - citations (str): The location of the citation file.
 // - content (content): The content of the document
 //
 //-> none
 #let tultemplate2(
-  style: "classic",
+  // general settings
-  faculty: "tul",
+  style: "classic", faculty: "tul", lang: "cs", document: "other",
-  lang: "cs",
+
-  document: none,
+  // document info
-  title: none, author: none, supervisor: none, programme: none,
+  title: none, keywords: none, abstract: none, author: none, author_gender: none,
-  citations: "citations.bib",
+  supervisor: none, consultant: none, programme: none, branch: none,
+
+  // links
+  assignment: none, citations: "citations.bib",
+
+  // content
   content,
 ) = {
-  import "template_classic.typ": template_classic
+  import "utils.typ": assert_in_dict, assert_type_signature
-  import "utils.typ": assert_in_dict
+
+  // argument checking
+  assert_type_signature(style, "string", "visual style argument");
+  assert_type_signature(faculty, "string", "faculty id argument");
+  assert_type_signature(lang, "string", "language abbreviation argument");
+  assert_type_signature(document, "string | none", "document kind argument");
+  assert_type_signature(title, "dictionary[string : string] | none", "title argument");
+  assert_type_signature(keywords, "dictionary[string : array[string]] | none", "keywords argument");
+  assert_type_signature(
+    abstract, "dictionary[string : string | content] | none", "abstract argument"
+  );
+  assert_type_signature(author, "string | none", "author argument");
+  assert_type_signature(author_gender, "string | none", "author gender argument");
+  assert_type_signature(supervisor, "string | none", "supervisor argument");
+  assert_type_signature(consultant, "string | none", "consultant argument");
+  assert_type_signature(
+    programme, "dictionary[string : string] | none", "study programme argument"
+  );
+  assert_type_signature(branch, "dictionary[string : string] | none", "study branch argument");
+  assert_type_signature(assignment, "string | none", "assignment document argument");
+  assert_type_signature(citations, "string", "citations file argument");
+
+  // templates
+  import "classic/classic.typ": template_classic
   let templates = (
     classic: template_classic,
   );
   assert_in_dict(style, templates, "template name");
 
-  // global set-up
+  // language set-up
   import "lang.typ": lang_ids
   assert_in_dict(lang, lang_ids, "language abbreviation");
   set text(lang: lang);
+
+  // template call
   templates.at(style)(
-    faculty, lang, document,
+    lang, faculty, document, citations, assignment,
-    title, author, supervisor, programme,
+    title, author, author_gender, supervisor, consultant,
-    "../" + citations,
+    programme, branch, abstract, keywords, content
-    content
   );
 
   import "prototyping.typ": assert_release_ready

template/template_classic.typ

@@ -1,184 +0,0 @@
-#import "theme.typ": faculty_logotype, tul_logomark, faculty_color
-#import "lang.typ": lang_id, get_lang_item
-#import "utils.typ": assert_in_dict, assert_in_arr
-
-#let base_font = "Inter";
-#let mono_font = "Noto Sans Mono";
-#let serif_font = "Merriweather";
-#let tul_logomark_size = 6.5em;
-
-#let classic_header(faculty_id, language) = {
-  let logotype = faculty_logotype(faculty_id, language);
-  grid(
-    block(logotype, width: 100%),
-    block(align(right, block(tul_logomark(faculty_id), height: tul_logomark_size))),
-    columns: 2
-  );
-}
-
-#let classic_info(
-  faculty_id,
-  language,
-  document_type,
-  title, author, supervisor, study_programme,
-) = {
-  let info_name_value_padding = 5em;
-  let info_name_min_width = 10em;
-
-  // document type
-  if type(document_type) != type(none) {
-    let document_types = ("bp", "dp", "ds");
-    assert_in_arr(document_type, document_types, "document type abbreviation");
-    text(get_lang_item(language, document_type), weight: "bold", font: base_font);
-    v(0em);
-  }
-
-  // title
-  text(
-    title, weight: "bold", size: 2em,
-    faculty_color(faculty_id), font: base_font,
-  );
-  v(0em);
-
-  // other info
-  // [field_name, field_value, bold]
-  let info_fields = (
-    ("study_programme", study_programme, false),
-    ("author", author, true),
-    ("supervisor", supervisor, false),
-  )
-  context {
-    let max_field_name_width = calc.max(..info_fields.map((v) => {
-      if type(v.at(1)) == type(none) {
-        0pt
-      } else {
-        measure(get_lang_item(language, v.at(0)) + ":").width
-      }
-    }), info_name_min_width.to-absolute());
-    grid(
-      columns: 2,
-      rows: (auto, 1.2em),
-      ..info_fields.filter((v) => { type(v.at(1)) != type(none) }).map((v) => {
-        (
-          block(
-            text(get_lang_item(language, v.at(0)) + ":", style: "italic", font: base_font),
-            width: max_field_name_width + info_name_value_padding,
-          ),
-          text(v.at(1), font: base_font, weight: if v.at(2) { "bold" } else { "regular" })
-        )
-      }).flatten(),
-    );
-    v(1em);
-    h(max_field_name_width + info_name_value_padding);
-    text(get_lang_item(language, "city") + " " + str(datetime.today().year()), font: base_font);
-  }
-}
-
-#let classic_mainpage(
-  faculty_id,
-  language,
-  document_type,
-  title, author, supervisor, study_programme,
-) = {
-  import "utils.typ": has_all_none
-  let nonetype = type(none);
-  page({
-    if has_all_none((
-      document_type, title, author, supervisor, study_programme,
-    )) {
-      place(center + horizon, align(left, faculty_logotype(faculty_id, language)));
-    } else {
-      classic_header(faculty_id, language);
-      align({
-        classic_info(
-          faculty_id, language, document_type, title, author, supervisor, study_programme
-        );
-        v(5em);
-      }, bottom);
-    }
-  }, margin: 2cm);
-}
-
-#let abbrlist(language) = {
-  import "abbreviations.typ": abbrlist
-  context {
-    let abbrs = abbrlist();
-    let max_abbr_width = if abbrs.len() > 0 {
-      calc.max(abbrs.keys().map((v) => measure(v).width)).at(0)
-    } else { return };
-    pagebreak(weak: true);
-    heading(("Seznam zkratek", "List of abbreviations").at(language), numbering: none);
-    align(center, grid(
-      columns: 2,
-      gutter: 1em,
-      ..abbrs.pairs().map((a) => {
-        (
-          align(left, block(text(a.at(0), weight: "bold"), width: max_abbr_width + 1em)),
-          text(a.at(1))
-        )
-      }).flatten()
-    ));
-  }
-}
-
-#let template_classic(
-  faculty_id,
-  language,
-  document_type,
-  title, author, supervisor, study_programme,
-  citation_file,
-  content,
-) = {
-  // main page
-  classic_mainpage(faculty_id, language, document_type, title, author, supervisor, study_programme);
-
-  // styling
-  let faculty_color = faculty_color(faculty_id);
-  set par(justify: true);
-  set heading(numbering: "1.1.1 ");
-  set page(margin: (outside: 4cm, top: 3cm, bottom: 3cm), numbering: "1", footer: {
-    context {
-      let page = counter(page).get().at(0);
-      align(str(page), if calc.rem(page, 2) == 0 { right } else { left })
-    }
-  });
-  set text(font: serif_font);
-  show heading: it => {
-    set par(justify: false);
-    block(
-      above: 2em,
-      below: 2em,
-      text(it, faculty_color, font: "TUL Mono", size: 1.2em)
-    );
-  };
-  show heading.where(level: 1): it => {
-    pagebreak();
-    v(2cm);
-    it
-  };
-  show raw: set text(font: mono_font);
-  show raw.where(block: true): it => {
-    block(it, fill: rgb("#eee"), inset: 1em)
-  };
-  set highlight(fill: faculty_color.lighten(90%));
-  set image(width: 80%);
-
-  let language = lang_id(language);
-
-  // toc
-  show outline.entry.where(level: 1): it => {
-    show repeat: none;
-    block(text(it, weight: "bold", size: 1.2em), above: 1.5em);
-  };
-  outline(title: ("Obsah", "Contents").at(language));
-
-  // abbreviation list
-  abbrlist(language);
-
-  // content
-  pagebreak(to: "even", weak: true);
-  content
-
-  // bibliography
-  bibliography(citation_file, style: "./tul_citace.csl")
-}

template/tul_citace.csl

@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="utf-8"?>
 <style xmlns="http://purl.org/net/xbiblio/csl" class="in-text" version="1.0" demote-non-dropping-particle="never" default-locale="en-US">
   <info>
-    <title>ISO-690 (numeric, Czech)</title>
+    <title>TUL ISO-690</title>
     <id>-----</id>
     <link href="" rel="self"/>
     <link href="" rel="documentation"/>
@@ -264,7 +264,7 @@
             <group>
               <text term="retrieved" suffix=" " text-case="capitalize-first"/>
               <text term="from" suffix=": "/>
-              <text variable="URL"/>
+              <text variable="URL" suffix=" "/>
             </group>
           </if>
         </choose>

template/utils.typ

@@ -1,9 +1,198 @@
+#let join(a, b) = {
+  let res = ();
+  if type(a) == array {
+    for a in a {
+      res.push(a);
+    }
+  } else {
+    res.push(a);
+  }
+  if type(b) == array {
+    for b in b {
+      res.push(b);
+    }
+  } else {
+    res.push(b);
+  }
+  res
+}
+
+#let serialize_array(arr) = {
+  arr.map((v) => { "'" + str(v) + "'" }).join(", ")
+}
+
+// Assumes a valid type signature
+#let decompose_type_signature(signature) = {
+  let parse_variants(raw) = {
+    let tmp = "";
+    let res = ();
+    for char in raw {
+      if char == ":" {
+        let trimmed = tmp.trim();
+        tmp = "";
+        if trimmed.len() != 0 {
+          res.push(trimmed);
+        }
+        res.push(":");
+      } else if char == "|" {
+        let trimmed = tmp.trim();
+        tmp = "";
+        if trimmed.len() != 0 {
+          res.push(trimmed);
+        }
+      } else {
+        tmp += char;
+      }
+    }
+    if tmp.len() != 0 {
+      res.push(tmp.trim());
+    }
+    res
+  };
+  let parse_groups(raw) = {
+    let tmp = "";
+    let groups = ();
+    let found_nested = false;
+    let nested = 0;
+    for char in raw {
+      if nested == 2 {
+        found_nested = true;
+      }
+      if char == "[" {
+        if nested > 0 {
+          tmp += char;
+        } else {
+          groups = join(groups, parse_variants(tmp));
+          tmp = "";
+          found_nested = false;
+        }
+        nested += 1;
+      } else if char == "]" {
+        if nested > 1 {
+          tmp += char;
+        } else {
+          groups.push(if found_nested { parse_groups(tmp) } else { parse_variants(tmp) });
+          tmp = "";
+          found_nested = false;
+        }
+        nested -= 1;
+      } else {
+        tmp += char;
+      }
+    }
+    if tmp.len() != 0 {
+      groups = join(groups, parse_variants(tmp));
+    }
+    groups
+  };
+  let parse_nested(grouped) = {
+    if type(grouped) != array or grouped.len() == 0 {
+      return grouped;
+    }
+    let first = grouped.at(0);
+    if type(first) == str and first == "dictionary" {
+      let body = grouped.at(1);
+      let key = ();
+      for group in body {
+        if group == ":" {
+          break;
+        }
+        key.push(group);
+      }
+      let val = body.slice(key.len() + 1);
+      join((("dictionary", parse_nested(key), parse_nested(val)),), parse_nested(grouped.slice(2)))
+    } else if type(first) == str and first == "array" {
+      join((("array", parse_nested(grouped.at(1))),), parse_nested(grouped.slice(2)))
+    } else {
+      join(parse_nested(first), parse_nested(grouped.slice(1)))
+    }
+  };
+  let grouped = parse_groups(signature);
+  parse_nested(grouped)
+}
+
+#let serialize_type_signature(value) = {
+  let serialize_type(value, array_serializer, dict_serializer) = {
+    if type(value) == dictionary {
+      dict_serializer(value, array_serializer)
+    } else if type(value) == array {
+      array_serializer(value)
+    } else {
+      str(type(value))
+    }
+  }
+
+  let serialize_multi_type(values, array_serializer, dict_serializer) = {
+    let signatures = ().to-dict();
+    for value in values {
+      signatures.insert(serialize_type(value, array_serializer, dict_serializer), none);
+    }
+    signatures.keys().join(" | ")
+  }
+
+  let serialize_dict_type(dict, array_serializer) = {
+    (
+      "dictionary[" +
+      serialize_multi_type(dict.keys(), array_serializer, serialize_dict_type) +
+      " : " +
+      serialize_multi_type(dict.values(), array_serializer, serialize_dict_type) +
+      "]"
+    )
+  }
+
+  let serialize_array_type(arr) = {
+    "array[" + serialize_multi_type(arr, serialize_array_type, serialize_dict_type) + "]"
+  }
+
+  serialize_type(value, serialize_array_type, serialize_dict_type);
+}
+
+#let is_subset_of(subset, of) = {
+  let has_value(value, target, matcher) = {
+    for target in target {
+      if matcher(value, target) {
+        return true;
+      }
+    }
+    false
+  };
+  let is_subset(subset, of, matcher) = {
+    for item in subset {
+      if not has_value(item, of, matcher) {
+        return false;
+      }
+    }
+    true
+  };
+  let matches(a, b) = {
+    if type(a) == array {
+      if a.at(0) != b.at(0) {
+        return false;
+      }
+      let a_type = a.at(0);
+      if a_type == "dictionary" {
+        is_subset(a.at(1), b.at(1), matches) and is_subset(a.at(2), b.at(2), matches)
+      } else if a_type == "array" {
+        is_subset(a.at(1), b.at(1), matches)
+      } else {
+        panic("invalid signature");
+      }
+    } else if type(a) != array and type(b) != array {
+      a == b
+    } else {
+      false
+    }
+  };
+  is_subset(subset, of, matches)
+}
+
+
 #let assert_in_arr(needle, arr, item_name) = {
   if str(needle) not in arr {
-    panic(
+    let panic_message = (
-      "unknown " + item_name + " '" + str(needle) +
+      "unknown " + item_name + " '" + str(needle) + "', expected one of: " + serialize_array(arr)
-      "', expected one of: " + arr.map((k) => { "'" + str(k) + "'" }).join(", ")
     );
+    panic(panic_message);
   }
 }
 
@@ -11,6 +200,77 @@
   assert_in_arr(needle, dict.keys(), item_name);
 }
 
+#let assert_dict_has(needles, dict, item_name) = {
+  for needle in needles {
+    if not needle in dict {
+      let panic_message = item_name + " does not contain an entry for '" + needle + "'";
+      panic(panic_message);
+    }
+  }
+}
+
+#let matches_type(value, expected_types) = {
+  return type(value) in expected_types;
+}
+
+#let assert_type(value, expected_types, value_name) = {
+  if not matches_type(value, expected_types) {
+    let panic_message = (
+      "unexpected type for " + value_name + " '" + str(type(value)) + "', expected one of: " +
+      serialize_array(expected_types)
+    );
+    panic(panic_message);
+  }
+}
+
+#let matches_array_type(arr, expected_item_types) = {
+  for item in arr {
+    if not matches_type(item, expected_item_types) { return false; }
+  }
+  true
+}
+
+#let assert_array_type(arr, expected_types, array_name) = {
+  assert_type(arr, (array), array_name);
+  for item in arr {
+    assert_type(item, expected_types, array_name + " item");
+  }
+}
+
+#let matches_dict_type(dict, expected_key_types, expected_value_types) = {
+  if type(dict) != dictionary {
+    return false;
+  }
+  for (key, value) in dict.pairs() {
+    if not (matches_type(key, expected_key_types) and matches_type(value, expected_value_types)) {
+      return false;
+    }
+  }
+  true
+}
+
+#let assert_dict_type(dict, expected_key_types, expected_value_types, dict_name) = {
+  assert_type(dict, (dictionary), dict_name);
+  for (key, value) in dict.items() {
+    assert_type(key, expected_key_types, dict_name + " key");
+    assert_type(value, expected_value_types, dict_name + " value");
+  }
+}
+
+#let assert_type_signature(value, expected_type_signature, value_name) = {
+  let type_signature = serialize_type_signature(value);
+  if not is_subset_of(
+    decompose_type_signature(type_signature),
+    decompose_type_signature(expected_type_signature)
+  ) {
+    let panic_message = (
+      "unexpected " + value_name + " type '" + type_signature +
+      "' expected at least a subset of '" + expected_type_signature + "'"
+    );
+    panic(panic_message);
+  }
+}
+
 #let is_none(thing) = {
   if type(thing) == type(none) {
     true
@@ -19,6 +279,21 @@
   }
 }
 
+#let assert_not_none(thing, item_name) = {
+  if is_none(thing) {
+    let panic_message = "missing " + item_name;
+    panic(panic_message);
+  }
+}
+
+#let ok_or(thing, fallback) = {
+  if is_none(thing) {
+    fallback
+  } else {
+    thing
+  }
+}
+
 #let has_all_none(arr) = {
   for item in arr {
     if not is_none(item) {
@@ -27,3 +302,10 @@
   }
   true
 }
+
+#let map_none(value, mapper) = {
+  if is_none(value) {
+    return none;
+  }
+  mapper(value)
+}

tests/citations.bib

@@ -0,0 +1,40 @@
+@article{Wang2025,
+  author = {Wang, Erming and Yu, Kaiwen and Cao, Jiqing and Wang, Minghui and Katsel, Pavel and Song, Won-min and Wang, Zhen and Li, Yuxin and Wang, Xusheng and Wang, Qian and Xu, Peng and Yu, Gefei and Zhu, Li and Geng, Jia and Habibi, Parnian and Qian, Lu and Tuck, Tony and Li, Aiqun and TCW, Julia and Roussos, Panos and Brennand, Kristen J. and Haroutunian, Vahram and Johnson, Erik C.B. and Seyfried, Nicholas T. and Levey, Allan I. and Bennett, David A. and Peng, Junmin and Cai, Dongming and Zhang, Bin},
+  title = {Multiscale proteomic modeling reveals protein networks driving Alzheimer’s disease pathogenesis},
+  journal = {Cell},
+  year = {2025},
+  volume = {},
+  number = {},
+  pages = {},
+  publisher = {Elsevier},
+  doi = {10.1016/j.cell.2025.08.038},
+  url = {https://doi.org/10.1016/j.cell.2025.08.038},
+  issn = {0092-8674}
+}
+
+@misc{csl,
+  title = {Citation Style Language},
+  year = {2025},
+  medium = {online},
+  accessed = {2025-06-10},
+  URL = {https://citationstyles.org/},
+}
+
+@misc{linux,
+  journal = {Blog | Linux Foundation},
+  title = {Classic SysAdmin: Vim 101: A Beginner’s Guide to Vim},
+  year = {2025},
+  medium = {online},
+  accessed = {2025-06-10},
+  URL = {https://www.linuxfoundation.org/blog/blog/classic-sysadmin-vim-101-a-beginners-guide-to-vim},
+}
+
+@book{Satrapa2011,
+  author = {Pavel Satrapa},
+  title = {IPv6},
+  publisher = {Edice CZ.NIC},
+  year = {2011},
+  edition = {3. vydání},
+  ISBN = {978-80-904248-4-9},
+  URL = {https://www.bookport.cz/kniha/ipv6-treti-vydani-5999/},
+}

tests/citations_cs.typ

@@ -0,0 +1,7 @@
+@Wang2025
+@csl
+@linux
+@Satrapa2011
+
+#set text(lang: "cs")
+#bibliography("citations.bib", title: "Bibliography - CZ", style: "../template/tul_citace.csl")

tests/citations_en.typ

@@ -0,0 +1,6 @@
+@Wang2025
+@csl
+@linux
+@Satrapa2011
+
+#bibliography("citations.bib", title: "Bibliography - EN", style: "iso-690-numeric")

tests/fonts.typ

@@ -0,0 +1,59 @@
+#let display_font(family, weight) = {
+  if type(family) == type(none) {
+    block(
+      spacing: 2em,
+      text("Příšerně žluťoučký kůn úpěl ďábelské ódy. " + lorem(25), weight: weight)
+    )
+  } else {
+    block(
+      spacing: 2em,
+      text("Příšerně žluťoučký kůn úpěl ďábelské ódy. " + lorem(25), font: family, weight: weight)
+    )
+  }
+}
+#show heading.where(level: 1): it => {
+  v(3em);
+  it;
+}
+
+= #highlight[TUL Mono]
+
+== Regular
+
+#display_font("tul mono", "regular")
+
+= #highlight[Inter]
+
+== Regular
+
+#display_font("inter", "regular")
+
+== Light
+
+#display_font("inter", "light")
+
+== Bold
+
+#display_font("inter", "bold")
+
+#pagebreak()
+
+= #highlight[Default]
+
+== Regular
+
+#display_font(none, "regular")
+
+= #highlight[Merriweather]
+
+== Regular
+
+#display_font("merriweather", "regular")
+
+== Light
+
+#display_font("merriweather", "light")
+
+== Bold
+
+#display_font("merriweather", "bold")

tests/make.mk

@@ -0,0 +1,6 @@
+.PHONY: test_%
+test_%: tests/%.pdf
+	xdg-open $<
+
+tests/%.pdf: tests/%.typ
+	typst compile --root . --font-path template/fonts $<