search

spl / alpha-conversion-is-easy

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

Clean up naming and notation #7

Closed spl closed 6 years ago

spl commented 6 years ago
spl commented 6 years ago

nrel.id should perhaps be something like Iν?

spl commented 6 years ago

Rename replace_constraint_of_eq and replace_of_eq.

spl commented 6 years ago

Should nrel⇒ be ⇒nrel? Should ⇒ be used for mapping? We already use it for a function-like thing.