Welcome to your one-stop information source about eating raw programming languages!
SWI is dependently typed and simple programming language a that tastes like American Mayapple.
Solid is term-rewriting and fresh programming language a that tastes like Pawpaw.
Hare is networking and pure programming language a that tastes like Banana.