#import "preamble/style.typ"

#show: style.setup.with(
  "Dependent Type Theory",
  "<NAME>",
  authorid: "202303466",
  subtitle: "Projektarbejde i Datalogi 10ECTS (F24.520202U002.A)",
  preface: [This report is written for the course on Modern Dependent Type Theory undertaken as a project module: "Projektarbejde i Datalogi 10 ECTS (F24.520202U002.A)", led by <NAME> and <NAME> in Aarhus University in the Fall semester of 2024],
  bibliography: bibliography("refs.bib"),
)

// ------------------------------------------------------------

#include "chapters/chapter1/index.typ"
#include "chapters/chapter2/index.typ"
#include "chapters/chapter3/index.typ"
#include "chapters/chapter4/index.typ"
