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
- libev
- libsigsegv
- openssl
You may be able to install these by running
sudo apt-get install libreadline-dev libgmp3-dev bison libev-dev \
libsigsegv-dev openssl
You also need libtecla, which is available at http://www.astro.caltech.edu/~mcs/tecla/libtecla-1.6.2.tar.gz
To build the system, run make OS=osx or make OS=linux.