Agda gets the do notation(agda.readthedocs.io)
agda.readthedocs.io
Agda gets the do notation
http://agda.readthedocs.io/en/latest/language/syntactic-sugar.html#do-notation
0 comments
—
http://agda.readthedocs.io/en/latest/language/syntactic-sugar.html#do-notation
—