Some types and some proofs and some things

How to at all?

You should have a Racket and an Emacs. Racket should be on PATH so that can be startet with racket. Emacs should support displaying PNGs.

Set environment variable HOME to this repo-dir, run Emacs. Maybe it works!?

Does the Axe of Taipei give like +2 dex or sth?

YouTube used to subtitle "a gamma with an x of type A" as "a guy with an axe of Taipei."