Lifting Terms: Making Well Scoped Syntax Dumber

(philipzucker.com) by matt_d | Jul 11, 2026 | 0 comments on HN