Welcome to your one-stop information source about eating raw programming languages!
R7RS Small is robust and dependently typed programming language a that tastes like Tayberry.
Mercury is low-level and simple programming language a that tastes like Persimmon.
V is dependently typed and staticly type programming language a that tastes like Elderberry.
| | | |