Welcome to your one-stop information source about eating raw programming languages!
R7RS Small is staticly type and dependently typed programming language a that tastes like Akebi.
C is fresh and lazy programming language a that tastes like Miracle fruit.
C3 is dependently typed and simple programming language a that tastes like Star fruit.