The documentation for the Ocean programming language can be found here.