At the moment, it is just these three languages (and partial Rust support). I'll start adding new languages once the type system is more stable.
You can also look at the .travis.yml file. It contains the instructions for installing everything needed to run all tests on Ubuntu.
That is a very good question. Currently effects are outside the typesystem, but I'm planning on adding an algebraic effect system similar to the one used in Microsoft's Koka language.
Morlock's are also the creatures that manage the machines under the world in Well's Time Traveler novel. Though I guess they are known more for their dietary preferences.
At the moment, it is just these three languages (and partial Rust support). I'll start adding new languages once the type system is more stable.
You can also look at the .travis.yml file. It contains the instructions for installing everything needed to run all tests on Ubuntu.
That is a very good question. Currently effects are outside the typesystem, but I'm planning on adding an algebraic effect system similar to the one used in Microsoft's Koka language.
Morlock's are also the creatures that manage the machines under the world in Well's Time Traveler novel. Though I guess they are known more for their dietary preferences.