# Markup
## Procedural markup
- Troff?
- TeX

## Descriptive
- LaTeX: TeX but structure
- Markdown

# Typst
## Syntax modes
- Markup
- Math
- Code

# Markup mode
But wasn't the presentation about programming languages?
Actually, everything's a function and modes are just a syntactic sugar for (pure) function calls

- Content type
- Joining

# Code
- Type system
- Value types (no reference types): reference counting in the implementation, to avoid unnecessary copies

## Functions
- Closures
- Pure
- First class values
- Recursion

### Parameters
- Named vs LaTeX
- Partial application

# Compiler
## Evaluation
- Markup
- Bindings

## Modules
- Immutable
- Caching (introspection)

# New vs old
Comparisons between the Typst way and LaTeX, highlighting the rigidity of macros and simplicity of a complete syntax

- Syntax: consistency and syntactic sugars
- Diagnostic
- Automatability and computational foundations
