Added a new list exercise to Section 3.4#87

stefan-hoeck merged 1 commit into

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

Liable5607:list-exercise-3.ivCopy head branch name to clipboard