opentheory-unicode-1.139: Setup.hs

module Main ( main ) where

import Distribution.Simple

main :: IO ()
main = defaultMain