Lifting Terms: Making Well Scoped Syntax DumberBy matt_d · 2026-07-11 · 1 points · 0 commentshttps://www.philipzucker.com/thin_term/By matt_d · 1 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews