Welcome to your one-stop information source about eating raw programming languages!
Hare is dependently typed and general-purpose programming language a that tastes like Rambutan.
Hare is battle tested and dependently typed programming language a that tastes like Jackfruit.
V is optimal and high-level programming language a that tastes like Ugli fruit.
| | | |