<p>This is the fourth time I am going to teach Agda to final-year undergrad students. </p><p>The first hurdle is to get the students to install Agda in their own machines. Unfortunately, a lot of students use Windows (but not all: Linux + MacOS form a majority). And more unfortunately, the official Agda installation guide doesn't cover Windows, and the little it says about Windows is rather outdated and wrong and misleading.</p><p>And I am not a Windows user, and so I can't really help to update the documentation.</p>
