Yian

a pure and safe language with provable memory safety