[TODO]

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Headings are cool

You can have many headings

Aren’t headings cool?

Monotone Dataflow Analysis

Background

Classical Theory

Synthetic Theory

Categorical Motivations