Generic traversals of reflected terms#1294

MatthewDaggitt merged 1 commit intoexperimentalagda/agda-stdlib:experimentalfrom

reflection-traversalsagda/agda-stdlib:reflection-traversalsCopy head branch name to clipboard