Cosmos is an in-development logic-functional, statically typed prototypal language.

rel main()
    x =
    io.writeln("hello, "+x+'!')

The above might look like imperative code. In fact, it's made to resemble a modern scripting language- or perhaps even allow for an imperative-style of code.

However, it's a fully functional (or actually, logic) programming language.

The first hint of this is the usage of rel in the above example (standing for relation) rather than, say, fun (function).

In fact, we borrow from many schools-of-thought. Cosmos has a...

Cosmos is still in-development. Documentation is provided for development.


See at the Quickstart or the full Guide*.

The guide is meant to be more comprehensive and eventually provide a full documentation of the language. It may still need some proof-reading. The Quickstart is a quicker intro that assumes you have prior experience with procedural or functional languages.


See the Download section.