wspace / edwinb-ws-idr

Fork of Edwin Brady's Whitespace interpreter in Idris

To build, install the latest Idris (http://idris-lang.org/) then type

./build

from the source directory.