Welcome to your one-stop information source about eating raw programming languages!
SWI is fresh and dependently typed programming language a that tastes like Momordica fruit.
C2 is dynamically typed and general-purpose programming language a that tastes like White sapote.
Hare is networking and optimal programming language a that tastes like Strawberry.