Main Question: Does anyone know of a reference that can tell me which axioms of ZFC Quine's New Foundations prove, disprove, and leave undecided?

Secondary Question: I've read that diagonal arguments don't go through in NF and thus can't be used to prove that the reals are uncountable. Does NF manage to prove the uncountability of the reals by some other means or does that fact (normally rendered as "$P _1(\mathbb{N}) < P(\mathbb{N})$" in order to make sense in NF) turn out to be undecidable in NF?