Clean up namespace/section formatting - Githubissues

spl / alpha-conversion-is-easy

Lean proof of alpha-conversion is easy

4 stars 0 forks source link

Clean up namespace/section formatting #6

Closed spl closed 6 years ago

spl commented 6 years ago

namespace blah

end /- namespace -/ blah

section blah

end /- section -/ blah