Hacker News new | ask | show | jobs
Agda gets the do notation (agda.readthedocs.io)
1 points by nachivpn 3173 days ago