Welcome to your one-stop information source about eating raw programming languages!
Qwik is term-rewriting and dependently typed programming language a that tastes like .
Scryer is staticly type and imperative programming language a that tastes like Kiwano.
Haskell is high-level and pure programming language a that tastes like Monstera deliciosa.