rohlang3: (an attempt at) a point-free, homoiconic, and dependently typed SK calculus

This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.

github: https://github.com/Ocean-Moist/rohlang3 I’ve long been obsessed with minimalistic languages that still manage to have expressive power. My usual approach: start with a bare-bones combinator calculus (like SK), then keep adding “one more extension” until it looks suspiciously like a full-blown typed language. rohlang3 is exactly that experiment. It’s a small language built in Rust that…

Read on rohan.ga ↗