search

digama0 / mm0

Metamath Zero specification language
Creative Commons Zero v1.0 Universal
306 stars 40 forks source link

describe do-stmt syntax more accurately #95

Closed tlyu closed 2 years ago

tlyu commented 2 years ago

Document the single-sexpr variant of do-stmt.