Create IdrisQuantum.idr