Remark on changing order of (m + n) to (n + m) in drop' in Section 6.3#88

stefan-hoeck merged 5 commits into

stefan-hoeck:mainstefan-hoeck/idris2-tutorial:mainfrom

Liable5607:added-remark-in-6.3Copy head branch name to clipboard