agda-libjs

agda-libjs
==========

Core bindings to run Agda code using NodeJS.

The module proc.coffee is actually independent from Agda.

Dependencies
------------

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
``