Towards nicer slides

Matt Bovel @LAMP/LARA, EPFL

March 27, 2026

Markdown

  • Item 1
  • Item 2
  1. Item 1
  2. Item 2

Emphasis, Strong

Syntax highlighting

val a = if true then 0 else 42
transparent inline def hello() = ???
case class Foo(val bar: Int)
extension (o: Object) def baz() = ???

(Supports Scala 3 syntax!)

LaTeX

\phi = \frac{a}{b}

Slide break

Can break to the next slide without a new heading using a Markdown section beak:

---

Second part.

Columns

Column 1 Content

Column 2 Content

Fragments

First thing

Second thing

Speaker notes

Lorem ipsum dolor sit amet, consectetur adipiscing elit.

Citation

This sentence is backed by a reference (Freeman and Pfenning 1991).

References

Freeman, Tim, and Frank Pfenning. 1991. “Refinement Types for ML.” Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation (New York, NY, USA), PLDI ’91, 268–77. https://doi.org/10.1145/113445.113468.