It's a (almost purely) functional programming language, with a recursive syntax (think of lambda or lisp), automatic resource management during compilation time (i.e no garbage collector), powerful typing system (e.g turing-complete, dependent types), high parallelization potential.


At the moment it is not publicly available, but the license is guaranteed to be open source.