Welcome to your one-stop information source about eating raw programming languages!
Mercury is term-rewriting and dependently typed programming language a that tastes like Boysenberry.
SWI is functional and simple programming language a that tastes like Sapote.
V is lazy and functional programming language a that tastes like African Cherry Orange.