search

metamath / metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
Apache License 2.0
25 stars 9 forks source link

Discouraged control flow #98

Closed tirix closed 1 year ago

tirix commented 1 year ago

I prefer this control flow for discouraged in main.rs, I think it's clearer than the dummy closure. I wanted to push this on the previous pull request but I was just one minute too slow!

digama0 commented 1 year ago

heh, I was looking at that and thinking of exactly the same change :)