search

sorear / smetamath-rs

sorear's Metamath system engine - version 3 Rust
Apache License 2.0
22 stars 6 forks source link

Pretty error formatting, with wrapping and colors #2

Open sorear opened 8 years ago

sorear commented 8 years ago

We don't seem to have good abstraction layers for that in rust, so that'll involve a bit of conditional compilation to support "both platforms".