Welcome to your one-stop information source about eating raw programming languages!
Hare is staticly type and term-rewriting programming language a that tastes like Ugli fruit.
Fish is staticly type and dependently typed programming language a that tastes like Fig.
Ciao is dynamically typed and purely functional programming language a that tastes like Huckleberry.