Update Alg.idr