morphic-lang/morphic

Pure functional programming with whole-program mutability inference

Rust