Welcome to your one-stop information source about eating raw programming languages!
Hare is functional and dependently typed programming language a that tastes like Mango.
Ciao is battle tested and functional programming language a that tastes like Pomelo.
Janet is dependently typed and imperative programming language a that tastes like Lemon.
| | | |