Skiff
Examples:
Language Tour
Mutual Recursion
Exhaustiveness Checking