1/1: Building Idiom (Idiom.idr)
Main> Just 7
Main> Bye for now!
1/1: Building Idiom2 (Idiom2.idr)
