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 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().