cabal-version:      3.4
  name:               leibniz-proof
  version:            0.1.0.0

executable leibniz-proof
  main-is:            Main.hs
  build-depends:      base ^>=4.14.3.0,
                      eq
  hs-source-dirs:     app
  default-language:   Haskell2010