Update Dev.hs