cabal-version:      2.4
name:               agda2train
version:            0.0.1.0
synopsis:           Agda backend to generate training data for machine learning purposes.
description:        -
category:           Agda, machine learning
author:             Orestis Melkonian
maintainer:         melkon.or@gmail.com
stability:          experimental
homepage:           http://github.com/omelkonian/agda2train/
bug-reports:        https://github.com/omelkonian/agda2train/issues
license:            BSD-3-Clause
license-file:       LICENSE
copyright:          (c) 2023 Orestis Melkonian

extra-source-files:
    data/defsToSkip.txt
    README.md
    LICENSE

source-repository head
    type: git
    location: git://github.com/omelkonian/agda2train.git



executable agda2train
    main-is:             Main.hs
    other-modules:       ToTrain, Output, AgdaInternals
    build-depends:       base >=4.12.0.0 && <4.20
                       , Agda >=2.6.3 && <2.6.4
                       , pretty >=1.1.3.3 && <1.2
                       , containers >=0.5.11.0 && <0.8
                       , unordered-containers >=0.2.9.0 && <0.3
                       , aeson >=2.0 && <2.3
                       , aeson-pretty == 0.8.10
                       , bytestring >=0.10.8.1 && <0.13
                       , mtl >=2.2.1 && <2.4
                       , directory >=1.2.6.2 && <1.4
                       , filepath >=1.4.1.0 && <1.5
                       , deepseq >=1.4.2.0 && <1.6
                       , async >=2.2 && <2.3
                       , file-embed == 0.0.15.0
    hs-source-dirs:      src
    default-language:    Haskell2010
    default-extensions:  LambdaCase
                       , NamedFieldPuns
                       , OverloadedStrings
                       , RecordWildCards
                       , TupleSections
                       , DeriveGeneric
                       , DeriveAnyClass
                       , DeriveFunctor
                       , DeriveFoldable
                       , DeriveTraversable
                       , DerivingVia
                       , StandaloneDeriving
                       , PatternSynonyms
                       , TypeFamilies
                       , TypeOperators
                       , FunctionalDependencies
    ghc-options: -threaded -rtsopts -with-rtsopts=-N