opentheory-stream-1.42: Setup.hs

module Main(main)

import Distribution.Simple

main :: IO ()
main = defaultMain