Tesla Zhang‮

🥺

Nooooo this is unsolved

Rebased on master

This is a mathematical library, not sure how `Maybe` is going to be used. We may have another programming library

Turns out this is very useful in writing some solvers. Can we merge this?

These protos were too big for Raft (which is relatively small) to depend on, but the situation may change after prost

> Why is size an issue? Hmm, compiling kvproto takes a long time.

> so that raft is free to change its protocols, or even no protocols at all. I suppose raft and kvproto will depend on the same "raftproto" library mentioned in...

FYI I didn't see any code related to the `Display` trait in prost.

> Raised on Discord: > > pew; — Today at 00:59 > > ⁠github Should we just disable emmy-issue? This is simply spam at this rate > > @ice1000 can...