Welcome to your one-stop information source about eating raw programming languages!
Hare is term-rewriting and dependently typed programming language a that tastes like Kiwano.
Gambit is battle tested and term-rewriting programming language a that tastes like Marionberry.
Mercury is functional and purely functional programming language a that tastes like Lanzones.
| | | |