Rendering Test

This is a draft post that exercises every rendering feature of the blog. It is not a real post; it exists so a rebuild can confirm the pipeline still works.

Math

Inline math like e^{i\pi} + 1 = 0 renders as a KaTeX span, and so does display math:

\sum_{i=0}^{n} i = \frac{n(n+1)}{2}\qquad{(1)}

The identity in eq. 1 is the one Gauss is said to have found in school.

Figures and tables

Fig. 1 sketches the shape of this site’s rendering pipeline.

Figure 1: A small commuting diagram

Tbl. 1 lists what this post covers.

Table 1: Rendering features covered by this post.
Feature Where Checked
Math Above yes
Figures This section yes
Code Next section yes

Code

A Haskell block with a type signature:

-- | Sum the integers from 1 to n.
sumTo :: Integer -> Integer
sumTo n = n * (n + 1) `div` 2

main :: IO ()
main = print (sumTo 100)

A Coq block:

Theorem sum_zero : 0 + 0 = 0.
Proof.
  intros.
  reflexivity.
Qed.

And the same style written with a rocq fence, which the pipeline normalizes to coq:

Theorem one_plus_one : 1 + 1 = 2.
Proof. reflexivity. Qed.

Footnotes render at the bottom of the post.1

A blockquote, set off by a terracotta rule.

The word bold renders as a <b> element on this site, and this link jumps back to the Math heading.

  1. This is the footnote body.↩︎