I have a dataframe that looks like:
user letter time
user1 a 2
user2 b 5
user1 b 3
user1 a 5
I try to get a dataframe like this, where time is summed for the same letter for every user, but can't find the solution for this problem:
user letter time
user1 a 7
user2 b 5
user1 b 3