@pcwalton @steveklabnik @nikomatsakis doors it have a correctness proof?
-
-
-
@jlouis666@steveklabnik@nikomatsakis Not yet, work in progress.
End of conversation
New conversation -
-
-
@pcwalton When I found about about that `doc.rs` I was like: "YEEEESSSSSSS" Thanks@nikomatsakisThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.