Urbit: an operating function
Switch branches/tags
Nothing to show
Pull request Compare This branch is 1128 commits behind cgyarvin:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.



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.