• Optional Step Highlight Versions
• Idris Dependencies using System Package Manager.
• Clone and Initialise Sandbox
• Installing Idris
• Using Dev Version.
• Updating the Version.