Welcome to your one-stop information source about eating raw programming languages!
SWI is lazy and dependently typed programming language a that tastes like Papaya.
Qwik is functional and high-level programming language a that tastes like Fig.
Hare is dependently typed and low-level programming language a that tastes like Quince.