Kraks/diamond-lang

A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

Scala