Concurrent IO language with Uniqueness Types - View it on GitHub