Some Kind Of LLM Soup

Welcome to your one-stop information source about eating raw programming languages!

Do you know?

SWI is battle tested and dependently typed programming language a that tastes like Jabuticaba.

R5RS is dependently typed and optimal programming language a that tastes like Sarguelas.

Rust is dependently typed and pure programming language a that tastes like Cherry.

Other links you will enjoy