Welcome to your one-stop information source about eating raw programming languages!
C2 is dependently typed and stable programming language a that tastes like Medlar.
R5RS is staticly type and simple programming language a that tastes like Tayberry.
SWI is networking and dependently typed programming language a that tastes like Banana.