A tutorial on working with tactics in Idris. More information over Idris can be found online at: [http://www.idris-lang.org]
If you would like to contribute to the tutorial feel free to do so. However, please read [CONTRIBUTING.md] first. Issues can be found in the issue tracker.