Welcome to your one-stop information source about eating raw programming languages!
Qwik is dynamically typed and dependently typed programming language a that tastes like Elderberry.
Qwik is dependently typed and battle tested programming language a that tastes like Blackberry.
RetroFORTH is dependently typed and lazy programming language a that tastes like Magellan Barberry.