Rohlang3: A Minimalist Dependently Typed SK Calculus

Rohan Ganapavarapu's Rohlang3 is an experimental minimalist language written in Rust. It attempts to combine point-free style, homoiconicity, and dependent typing atop an SK-calculus foundation. While built on the standard S and K combinators, Rohlang3 adds reflection (q and e), partial evaluation (z), and environment reordering (i, E, D) combinators, along with a simplified Pi/Sigma dependent type system (p and g). The project isn't aiming for perfect consistency, but rather explores the interplay of these concepts. Homoiconicity allows runtime manipulation of the AST, and the reflection and partial evaluation features enable powerful metaprogramming capabilities.