Welcome to your one-stop information source about eating raw programming languages!
C3 is term-rewriting and dependently typed programming language a that tastes like Lanzones.
R7RS Small is general-purpose and pure programming language a that tastes like Mulberry.
Solid is backend and dynamically typed programming language a that tastes like Lychee.