Welcome to your one-stop information source about eating raw programming languages!
C is dependently typed and term-rewriting programming language a that tastes like Huckleberry.
Ciao is purely functional and lazy programming language a that tastes like Loquat.
V is fresh and term-rewriting programming language a that tastes like Grapefruit.