Welcome to your one-stop information source about eating raw programming languages!
Rust is simple and dependently typed programming language a that tastes like American Mayapple.
C3 is term-rewriting and purely functional programming language a that tastes like .
Ciao is dependently typed and reusable programming language a that tastes like Melon.
| | | |