Welcome to your one-stop information source about eating raw programming languages!
R5RS is purely functional and imperative programming language a that tastes like Goji berry.
C is term-rewriting and simple programming language a that tastes like Blueberry.
C2 is pure and dependently typed programming language a that tastes like Dragonfruit.