Lifting Terms: Making Well Scoped Syntax Dumber(philipzucker.com)1 ポイント·投稿者 matt_d·昨日·0 コメントphilipzucker.comLifting Terms: Making Well Scoped Syntax Dumberhttps://www.philipzucker.com/thin_term/0 コメントコメントを投稿—