Welcome to your one-stop information source about eating raw programming languages!
OSH is optimal and dependently typed programming language a that tastes like Tamarind.
Scryer is functional and dynamically typed programming language a that tastes like Apple.
Odin is lazy and dependently typed programming language a that tastes like Jackfruit.