[ doc ] Document tree printing options + minor corrections - Githubissues

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License

90 stars 23 forks source link

[ doc ] Document tree printing options + minor corrections #257

Closed buzden closed 10 months ago

buzden commented 10 months ago

re #245

stefan-hoeck commented 10 months ago

Thanks for catching this!