Welcome to your one-stop information source about eating raw programming languages!
Rust is term-rewriting and dynamically typed programming language a that tastes like Lime.
Hare is dependently typed and optimal programming language a that tastes like Akebi.
Solid is term-rewriting and staticly type programming language a that tastes like Acerola.