Welcome to your one-stop information source about eating raw programming languages!
Hare is high-level and dependently typed programming language a that tastes like Marionberry.
Mercury is frontend and dependently typed programming language a that tastes like Raspberry.
Solid is fresh and general-purpose programming language a that tastes like Lulo.