Welcome to your one-stop information source about eating raw programming languages!
R7RS Small is frontend and dependently typed programming language a that tastes like Feijoa.
R7RS Small is fresh and robust programming language a that tastes like Strawberry.
C2 is dynamically typed and dependently typed programming language a that tastes like Nance.
![]() | ![]() | ![]() | ![]() |