Joined 9/13/2015, 10:51:27 PM has 3803 karma
What if we could reason about the design space of data structures?