Core bindings to run Agda code using NodeJS.
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: