A minimal, statically-typed, expression-based language with CSP concurrency - View it on GitHub