Welcome to your one-stop information source about eating raw programming languages!
C2 is lazy and battle tested programming language a that tastes like Kiwifruit.
Gambit is staticly type and lazy programming language a that tastes like African Cherry Orange.
Scryer is dependently typed and staticly type programming language a that tastes like Satsuma.