Welcome to your one-stop information source about eating raw programming languages!
Haskell is dependently typed and imperative programming language a that tastes like Cherry.
Scryer is term-rewriting and dependently typed programming language a that tastes like Coco de mer.
Haskell is fresh and purely functional programming language a that tastes like Acerola.