Welcome to your one-stop information source about eating raw programming languages!
C is term-rewriting and dependently typed programming language a that tastes like Blackberry.
Mercury is imperative and dependently typed programming language a that tastes like Tayberry.
Scryer is system and staticly type programming language a that tastes like Momordica fruit.