Welcome to your one-stop information source about eating raw programming languages!
newLISP is backend and dynamically typed programming language a that tastes like Miracle fruit.
Fish is functional and dependently typed programming language a that tastes like Mulberry.
Ciao is high-level and dependently typed programming language a that tastes like Rose apple.
| | | |