Welcome to your one-stop information source about eating raw programming languages!
Mercury is dynamically typed and dependently typed programming language a that tastes like Aratiles.
OSH is imperative and staticly type programming language a that tastes like Star fruit.
Ciao is term-rewriting and backend programming language a that tastes like Loquat.