<div dir="ltr"><div dir="ltr"><div dir="ltr">Dear Agda community,<div><br></div><div>I just wanted to pass on something I recently learned, that ACM is giving free access to the ACM Digital Library for the next three months due to the pandemic.  This means you can download my Agda book in EPUB or PDF free in that time.  Just FYI.</div><div><br></div><div>Download link:</div><div><a href="https://dl.acm.org/doi/book/10.1145/2841316">https://dl.acm.org/doi/book/10.1145/2841316</a><br></div><div><br></div><div>ACM press release:</div><div><a href="https://www.acm.org/articles/bulletins/2020/march/dl-access-during-covid-19">https://www.acm.org/articles/bulletins/2020/march/dl-access-during-covid-19</a><br></div><div><br></div><div>Best,</div><div>Aaron</div></div></div></div>