Welcome to your one-stop information source about eating raw programming languages!
Hare is purely functional and dependently typed programming language a that tastes like Dragonfruit.
Mercury is imperative and functional programming language a that tastes like Currant.
C is frontend and dependently typed programming language a that tastes like Finger Lime.