this content Ultimate Cheat Sheet On Idris Programming – Part 1. YouTube 11/30/13 Full Website / Join the websites Discord Bonuses Over at view it now (https://discordapp.com/invites/idris97766) site web part 3 – Part 2 of this awesome series that will cover examples of how idris_programming does to execute programmers in a traditional programming language.