I am looking for a reference for Fourier analysis on compact (Lie) groups. The kind of theorems I would like the book to cover/do are the PeterWeyl theorem, define Fourier transforms and use the PeterWeyl theorem to derive the Plancherel theorem.The PeterWeyl theorem(s?) can be found in multiple references but most of the books I look into do Fourier analyis on locally compact abelian groups. Any suggestion is welcome, thanks! I am aware of Sepanski's text but I am looking for an alternate text.
Chapter 5 of Folland's A Course in Abstract Harmonic Analysis should have what you need  it is quite a short treatment, but it seems to be complete, provided that one is happy to fill in (routine) details in a narrative rather than go for the style of "Lemma 2.1.2, Lemma 2.1.3, Definition 2.1.4, Proposition 2.1.5, Lemma 2.2.1, etc".
I think there is also a readable treatment in Deitmar's A First Course in Harmonic Analysis, although the approach in that book is tailored to an audience without Lebesgue integration and hence might have some proofs which are nongeodesic workarounds.

$\begingroup$ Thank you so much for responding so promptly! I'll however wait a bit before accepting the answer in case others want to chip in with their favourite source. $\endgroup$ – user96343 Jul 13 at 20:23
For a reference which 1) has what you need, 2) is short and elementary (only undergrad point set topology needed, e.g., Ascoli/Arzela Theorem) yet includes detailed proofs, 3) is very clear and pedagogical, 4) is free; I think you will have a hard time finding better than the note "Haar Measure" by Joel Feldman, on his UBC webpage.