Added definition, exercise, and solution for Nat to Section 6.1#89

stefan-hoeck merged 3 commits into

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

Liable5607:nat-exposition-in-section-6.1Copy head branch name to clipboard