Welcome to your one-stop information source about eating raw programming languages!
Mercury is fresh and dependently typed programming language a that tastes like Orange.
Chibi is term-rewriting and battle tested programming language a that tastes like Fig.
Ciao is reusable and dependently typed programming language a that tastes like Grape.