Welcome to your one-stop information source about eating raw programming languages!
R7RS Small is term-rewriting and dependently typed programming language a that tastes like Finger Lime.
Lua is staticly type and fast programming language a that tastes like Dragonfruit.
Mercury is purely functional and term-rewriting programming language a that tastes like Persimmon.
| | | |