illc-mol-thesis:0.1.0

packages/preview/illc-mol-thesis/0.1.0/README.md

@@ -0,0 +1,41 @@
+# ILLC MoL Thesis
+
+[![status-badge](https://ci.codeberg.org/api/badges/14184/status.svg)](https://ci.codeberg.org/repos/14184)
+
+This is a Typst port of the [official Master of Logic thesis
+template](https://codeberg.org/m4lvin/illc-mol-thesis-template) of the
+Institute for Logic, Language, and Computation at the University of Amsterdam.
+
+## Usage
+
+To use this template, run
+
+```bash
+typst init @preview/illc-mol-thesis:0.1.0
+```
+
+from any directory to initialize a new project based on this template.
+
+## Functions
+
+- `mol-thesis` is to be initialized as a show rule;
+- `mol-titlepage` renders the first page of the thesis;
+- `mol-abstract` renders an abstract for the thesis;
+- `mol-chapter` renders the title of a new chapter.
+
+## Preview
+
+The PDF generated from the `main` branch of this repository is [available
+online](https://foxy.codeberg.page/illc-mol-thesis/main.pdf). Here is a
+(manually generated) image preview of the first page.
+
+![First page of the
+template](https://codeberg.org/foxy/illc-mol-thesis/raw/branch/main/img/thumbnail.png)
+
+## Attributions
+
+The original [MoL thesis
+template, along with the ILLC
+logo](https://codeberg.org/m4lvin/illc-mol-thesis-template) by the [Institute
+for Logic, Language, and Computation](https://illc.uva.nl) is released under
+[CC0](https://creativecommons.org/publicdomain/zero/1.0/).

packages/preview/illc-mol-thesis/0.1.0/src/main.typ

@@ -0,0 +1,165 @@
+#import "@preview/great-theorems:0.1.1": *
+#import "@preview/rich-counters:0.2.1": *
+
+// A show rule for the template.
+#let mol-thesis(body) = [
+  // LaTeX-like look from https://typst.app/docs/guides/guide-for-latex-users
+  #set page(margin: 1.2in, footer-descent: 20%)
+  #set par(leading: .85em, first-line-indent: 1.8em, justify: true)
+  #set text(font: "New Computer Modern", size: 9.75pt)
+  // New computer Moderno Mono is not shipped with Typst, and it would be
+  // excessive to only ship it with the package for raw text, as it requires its
+  // own CLi flag
+  // #show raw: set text(font: "New Computer Modern Mono")
+  #show heading: set block(above: 1.4em, below: 1em)
+
+  // MoL thesis look from https://codeberg.org/m4lvin/illc-mol-thesis-template
+  #set page(numbering: "1")
+  #set heading(numbering: "1.1.1.1")
+  #set outline(fill: repeat(". "), indent: true)
+  #set cite(style: "alphanumeric")
+  #set bibliography(style: "elsevier-vancouver")
+  #show: great-theorems-init
+
+  #body
+]
+
+// A parametric, non-numbered thesis titlepage that follows the
+// recommendations of the Master of Logic.
+#let mol-titlepage(
+  title: "Title of the Thesis",
+  author: "John Q. Public",
+  birth-date: "April 1st, 1980",
+  birth-place: "Alice Springs, Australia",
+  defence-date: "August 28, 2005",
+  supervisors: ("Dr Jack Smith", "Prof Dr Jane Williams"),
+  committee: (
+    "Dr Jack Smith",
+    "Prof Dr Jane Williams",
+    "Dr Jill Jones",
+    "Dr Albert Heijn"),
+  degree: "MSc in Logic"
+) = align(alignment.center)[
+  // Size of the thesis's title
+  #let title-size = 17pt
+  // Size of frontpage elements that should be smaller of the thesis's title
+  // alone
+  #let subtitle-size = 12pt
+
+  #set page(numbering: none)
+
+  #v(30pt)
+
+  #text(smallcaps(title), size: title-size, weight: 100)
+
+  #v(40pt)
+
+  #text([*MSc Thesis* _(Afstudeerscriptie)_], size: subtitle-size)
+
+  written by
+
+  *#author*
+
+    under the supervision of #supervisors.map(x => [*#x*]).join(", ", last:
+    " and "), and submitted to the
+
+    Examinations Board in partial fullfillment of the requirements for the
+    degree of
+
+  #text([*#degree*], size: subtitle-size)
+
+  at the _Universiteit van Amsterdam_.
+
+  #v(50pt)
+
+  #box(width: 75%,
+    par(spacing: 6pt, 
+      columns(2, gutter: -10%,
+        align(alignment.left,
+          par(first-line-indent: 0em)[
+            *Date of the public defence:*
+
+            _#defence-date _
+
+            #colbreak()
+
+            *Members of the Thesis Committee:*
+
+            #committee.join("\n")
+          ]
+        )
+      )
+    )
+  )
+
+  #align(bottom, image("../img/illclogo.svg", alt: "ILLC Logo. A 3-by-3 jigsaw puzzle. The
+      center piece is white, while the surrounding pieces are black. The text
+      below the puzzle reads 'Institute for Logic, Language, and Computation'",
+      width: 65%))
+
+  #pagebreak()
+]
+
+// A non-numbered page dedicated to the thesis abstract.
+#let mol-abstract(body) = [
+  #set page(numbering: none)
+  #align(center+horizon, heading("Abstract", numbering: none, outlined: false))
+  #body
+  #pagebreak()
+  #counter(page).update(1)
+]
+
+// A first-level heading dedicated to thesis chapters.
+#let mol-chapter(body) = [
+  #pagebreak()
+  #hide(
+    heading(body,
+      hanging-indent: 0pt,
+      level: 1,
+      supplement: [Chapter])
+  )
+  #text(size: 28pt, weight: "bold")[
+    #set par(first-line-indent: 0pt)
+    #text(size: 24pt, [Chapter #context counter(heading).display()])
+
+    #body]
+]
+
+// A counter for mathematical blocks
+#let mathcounter = rich-counter(
+  identifier: "mathblocks",
+  inherited_levels: 1
+)
+
+// A block for mathematical definitions
+#let definition = mathblock(
+  blocktitle: "Definition",
+  counter: mathcounter,
+)
+
+// A block for mathematical theorems
+#let theorem = mathblock(
+  blocktitle: "Theorem",
+  counter: mathcounter,
+)
+
+// A block for mathematical lemmas
+#let lemma = mathblock(
+  blocktitle: "Lemma",
+  counter: mathcounter,
+)
+
+// A block for mathematical corollaries
+#let corollary = mathblock(
+  blocktitle: "Corollary",
+  counter: mathcounter,
+)
+
+// A block for mathematical remarks
+#let remark = mathblock(
+  blocktitle: "Remark",
+  prefix: [_Remark._],
+)
+
+// A block for mathematical proofs
+#let proof = proofblock()

packages/preview/illc-mol-thesis/0.1.0/template/main.typ

@@ -0,0 +1,106 @@
+#import "@preview/illc-mol-thesis:0.1.0": *
+
+#show: mol-thesis
+
+#mol-titlepage(
+  title: "Title of the Thesis",
+  author: "John Q. Public",
+  birth-date: "April 1st, 1980",
+  birth-place: "Alice Springs, Australia",
+  defence-date: "August 28, 2005",
+  /* Only one supervisor? The singleton array ("Dr Jack Smith",) needs the
+     trailing comma. */
+  supervisors: ("Dr Jack Smith", "Prof Dr Jane Williams"),
+  committee: (
+    "Dr Jack Smith",
+    "Prof Dr Jane Williams",
+    "Dr Jill Jones",
+    "Dr Albert Heijn"),
+  degree: "MSc in Logic"
+)
+
+#mol-abstract[
+  ABSTRACT OF THE THESIS
+
+  #lorem(150)
+]
+
+#outline()
+
+#mol-chapter("Introduction")
+
+#lorem(100)
+
+== Background <background>
+
+#lorem(75)
+
+== Literature
+
+We use standard results from @BRV2001:Modal. Also relevant for our work is
+@BB1999:IPGames, where it was proven that Logic is great.
+
+#lorem(1200)
+
+== Criticism
+
+#lorem(150)
+
+#mol-chapter("My Logic")
+
+#lorem(100)
+
+== Syntax
+
+#definition[
+  We defined the language $cal(L)$ as follows:
+
+  $ phi.alt ::= top | p | phi.alt and phi.alt $
+]
+
+#lorem(50)
+
+== Semantics
+
+== Axioms
+
+== Soundness
+
+== Completeness
+
+#mol-chapter("Examples")
+
+== Figures
+
+We illustrate the protagonist of this thesis. in @protagonist.
+
+#figure(caption: "The protagonist.", numbering: "1.1")[
+  #emoji.person
+]<protagonist>
+
+== Tables
+
+In @cities we compare some cities.
+
+#figure(caption: "An overview of cities.")[
+  #table(
+    columns: 3,
+    stroke: (x, y) => if x == 0 { (right: black) },
+    table.hline(),
+    table.header([City],[Population],[area ($"km"^2$)]),
+    table.hline(),
+    [Amsterdam],[851573],[219],
+    [Groningen],[200952],[ 83],
+    [Utrecht  ],[321989],[100],
+    table.hline()
+  )
+]<cities>
+
+#mol-chapter("Conclusions")
+
+As we discussed in @background, Logic is great.
+
+#lorem(500)
+
+#pagebreak()
+#bibliography("references.bib")

packages/preview/illc-mol-thesis/0.1.0/template/references.bib

@@ -0,0 +1,20 @@
+@book{BRV2001:Modal,
+	author = {Blackburn, Patrick and de Rijke, Maarten and Venema, Yde},
+	title = {Modal Logic},
+	series = {Cambridge Tracts in Theoretical Computer Science},
+	number = {53},
+	publisher = {Cambridge University Press},
+	isbn = {978-0-521-52714-9},
+	year = 2001,
+}
+
+@article{BB1999:IPGames,
+	author = {Barwise, Jon and van Benthem, Johan},
+	title = {Interpolation, preservation, and pebble games},
+	journal = {Journal of Symbolic Logic},
+	volume = {64},
+	number = {2},
+	pages = {881--903},
+	doi = {10.2307/2586507},
+	year = 1999,
+}

packages/preview/illc-mol-thesis/0.1.0/typst.toml

@@ -0,0 +1,17 @@
+[package]
+name = "illc-mol-thesis"
+version = "0.1.0"
+entrypoint = "src/main.typ"
+authors = ["Stefano Volpe"]
+license = "AGPL-3.0-or-later"
+description = "Official Typst thesis template for Master of Logic students at the ILLC"
+repository = "https://codeberg.org/foxy/illc-mol-thesis"
+categories = ["thesis", "report"]
+keywords = ["thesis", "master", "ILLC", "university", "UvA", "MoL"]
+compiler = "0.12.0"
+exclude = ["img/thumbnail.png"]
+
+[template]
+path = "template"
+entrypoint = "main.typ"
+thumbnail = "img/thumbnail.png"