more minor changes - Githubissues

sorear / smetamath-rs

sorear's Metamath system engine - version 3 Rust

Apache License 2.0

22 stars 6 forks source link

Closed digama0 closed 8 years ago

digama0 commented 8 years ago

database.rs: fewer type ascriptions, simplify Promise::join
parser.rs: make stype immutable
scopeck.rs: tail is small enough that an early return is overkill (also I don't like negated tests)