This is an implementation of C. Guy Yarvin's Nock axioms, a compiler from the "Watt" language to Nock, and other foundations of the Urbit static functional namespace.

The interpreter depends on the following packages:

• readline library
• GNU Multiprecision library
• bison You may be able to install these by running sudo apt-get install libreadline-dev libgmp3-dev bison

To build the system, run make OS=osx or make OS=linux.