1/2: Building Mod (Mod.idr)
2/2: Building Main (Main.idr)
Main> 10001
Main> Bye for now!
