It is built for blockchain smart contracts.

This is a language make for state channels.

It is deterministic, so that every node of the blockchain gets the same result.

Functions are tail call optimized.

Has 2 types of gas, one for space, and one for time.

Instead of using goto for recursion, it uses function calls.

You can read the documentation for the opcodes that make up the language that this VM understand here

You can see forth-like example code here, hashlock is especially well documented.

You can see lisp-like example code here, and here.

to install:

sh install.sh

to start a node with these libraries loaded:

sh start.sh

to run tests on a node:

1> test_chalang:test().