Agda gets the do notationhttp://agda.readthedocs.io/en/latest/language/syntactic-sugar.html#do-notation by nachivpn • 9 years ago 1 0 9 years agoAGagda.readthedocs.io