Core bindings to run Agda code using NodeJS.
The module proc.coffee is actually independent from Agda.
Make sure you have nodejs installed.
Then one way install CoffeeScript is to use npm:
npm -g coffee-script
Finally to run the example you need these two packages:
npm install request sha256
Compiling the library and running the example can be done as follows:
coffee -b -c proc.coffee
coffee -b example-proc.coffee
Now to run Agda code directly you need to have recent Agda installed together with a recent agda-stdlib:
./run.sh example1