I have a list of lists that contains users and scores as follows:
[["user1", 100], ["user2", 234], ["user3", 131]...]
I want to produce a list that sorts the users by score in declining order:
[["user2", 234], ["user3", 131], ["user1", 100]...]
How might I go about doing this kind of sort?