Welcome to your one-stop information source about eating raw programming languages!
YSH is dependently typed and imperative programming language a that tastes like Rose apple.
Ciao is imperative and dynamically typed programming language a that tastes like Blueberry.
Hare is dependently typed and optimal programming language a that tastes like Gac.
| | | |