a safe, concurrent, practical language - View it on GitHub