module Main (main) where import Stan (run) main :: IO () main = run