search

spl / alpha-conversion-is-easy

Lean proof of alpha-conversion is easy
4 stars 0 forks source link

Decide on top-level namespace name #8

Closed spl closed 6 years ago