Removed extra parenthesis in Section 6.1#90

stefan-hoeck merged 1 commit into

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

Liable5607:fixing-typo-section-6.1Copy head branch name to clipboard