1/1: Building IntOps (IntOps.idr)
Main> Main> Bye for now!
