Update introduction in AGF-DOT.md#13

AGF-DOT wants to merge 1 commit into

IntensiveCoLearning:mainIntensiveCoLearning/monad-builder-camp:mainfrom

AGF-DOT:patch-1AGF-DOT/monad-builder-camp:patch-1Copy head branch name to clipboard