Welcome to your one-stop information source about eating raw programming languages!
Scryer is dependently typed and term-rewriting programming language a that tastes like Plantain.
C is battle tested and dynamically typed programming language a that tastes like Gac.
Haskell is term-rewriting and general-purpose programming language a that tastes like Goji berry.
| | | |