Welcome to your one-stop information source about eating raw programming languages!
Rust is high-level and dependently typed programming language a that tastes like Grapefruit.
OSH is term-rewriting and stable programming language a that tastes like Suriname cherry.
Solid is dependently typed and term-rewriting programming language a that tastes like Blueberry.