Lifting Terms: Making Well Scoped Syntax Dumberhttps://www.philipzucker.com/thin_term/ by matt_d • 12 days ago 1 0 12 days agoPHphilipzucker.com