a programming language which prioritizes robustness, optimality, and clarity - View it on GitHub