Welcome to your one-stop information source about eating raw programming languages!
SWI is low-level and dependently typed programming language a that tastes like Papaya.
C3 is lazy and simple programming language a that tastes like Fig.
R5RS is dynamically typed and dependently typed programming language a that tastes like Melon.