Welcome to your one-stop information source about eating raw programming languages!
Hare is pure and dependently typed programming language a that tastes like Ugli fruit.
Mercury is functional and backend programming language a that tastes like Mamey apple.
Janet is term-rewriting and dependently typed programming language a that tastes like Sapodilla.
| | | |