opentheory-unicode-1.137: Setup.hs

module Main(main)

import Distribution.Simple

main :: IO ()
main = defaultMain