50 lines
1.3 KiB
Typst
50 lines
1.3 KiB
Typst
#import "requirements.typ": *
|
|
#import "../meta.typ"
|
|
#import codly: codly-init, codly
|
|
#import "@preview/codly-languages:0.1.10": codly-languages
|
|
|
|
#pdfpc.config(
|
|
start-time: datetime(hour: 13, minute: 15, second: 0),
|
|
end-time: datetime(hour: 13, minute: 55, second: 0),
|
|
duration-minutes: 20,
|
|
)
|
|
|
|
#show raw.where(block: true): set text(size: 0.8em)
|
|
#show: codly-init.with()
|
|
#codly(
|
|
languages: codly-languages,
|
|
)
|
|
|
|
#show: unistra-theme.with(
|
|
config-info(
|
|
author: meta.authors,
|
|
institution: meta.school,
|
|
date: datetime(year: 2026, month: 8, day: 24).display("[day].[month].[year]"),
|
|
title: [Midas],
|
|
subtitle: [Hybrid Type Checking for Python],
|
|
//title: meta.title,
|
|
//subtitle: meta.subtitle,
|
|
//short-title: [Midas],
|
|
//short-subtitle: [Hybrid Type Checking for Python],
|
|
logo: image("figs/isc_logo.svg"),
|
|
),
|
|
config-common(
|
|
enable-pdfpc: true,
|
|
),
|
|
config-store(
|
|
font: "Source Sans Pro"
|
|
)
|
|
)
|
|
|
|
#title-slide(
|
|
logos: (
|
|
box(inset: (x: 0.8em), image("figs/hei_logo.svg", height: 2cm)),
|
|
box(inset: (x: 0.8em), image("figs/isc_logo.svg", height: 2cm)),
|
|
)
|
|
)
|
|
|
|
#include "sections/01_introduction.typ"
|
|
#include "sections/02_state_of_the_art.typ"
|
|
#include "sections/03_midas.typ"
|
|
#include "sections/04_status_and_future.typ"
|