Lifting Terms: Making Well Scoped Syntax Dumber(philipzucker.com)1 points·by matt_d·Hôm qua·0 commentsphilipzucker.comLifting Terms: Making Well Scoped Syntax Dumberhttps://www.philipzucker.com/thin_term/0 commentsPost comment—