Welcome to your one-stop information source about eating raw programming languages!
Nim is dependently typed and networking programming language a that tastes like Star fruit.
Haskell is imperative and dependently typed programming language a that tastes like Hawthorn.
Ciao is system and dependently typed programming language a that tastes like Date.