v0.0 ยท source
Syl is a modal, staged, and dependently typed systems programming language. It draws inspiration from 2LTT, OxCaml, C++, Rust, and Idris. More details to come.