module Main where import DevelMain main :: IO () main = update