Untyped Programs Don’t Exist (cross-post)

::

By: William J. Bowman