Welcome to your one-stop information source about eating raw programming languages!
Gambit is term-rewriting and staticly type programming language a that tastes like Aratiles.
R5RS is term-rewriting and dependently typed programming language a that tastes like Miracle fruit.
YSH is staticly type and robust programming language a that tastes like Suriname cherry.