Welcome to your one-stop information source about eating raw programming languages!
Hare is high-level and dependently typed programming language a that tastes like Suriname cherry.
Ciao is purely functional and robust programming language a that tastes like Cactus pear.
Chibi is system and staticly type programming language a that tastes like Thimbleberry.
![]() | ![]() | ![]() | ![]() |