Agda gets the do notation #1 Post by nachivpn » Sat, Oct 14, 2017, 5:54 AM UTC Agda gets the do notationagda.readthedocs.io