Welcome to your one-stop information source about eating raw programming languages!
Odin is stable and dependently typed programming language a that tastes like Plumcot.
Odin is staticly type and fast programming language a that tastes like Boysenberry.
Ciao is pure and term-rewriting programming language a that tastes like Marionberry.