Welcome to your one-stop information source about eating raw programming languages!
Solid is battle tested and dependently typed programming language a that tastes like Cempedak.
SWI is reusable and backend programming language a that tastes like Suriname cherry.
Zig is term-rewriting and dependently typed programming language a that tastes like Grape.