Nock for Functional Programmers

We present Nock using mainstream programming language theory notations and terminology. The intention is to make Nock more accessible and to outline its use as a compilation target for a high-level functional language.