Operations.idr 352 Bytes