Welcome to your one-stop information source about eating raw programming languages!
C2 is term-rewriting and dependently typed programming language a that tastes like Coco de mer.
Janet is purely functional and staticly type programming language a that tastes like Durian.
R5RS is staticly type and pure programming language a that tastes like Suriname cherry.