Welcome to your one-stop information source about eating raw programming languages!
Mercury is dependently typed and fast programming language a that tastes like Black sapote.
SWI is functional and low-level programming language a that tastes like Passionfruit.
Gambit is dependently typed and lazy programming language a that tastes like Banana.