-- Initial Delta-Lambda.cabal generated by cabal init. For further -- documentation, see http://haskell.org/cabal/users-guide/ -- The name of the package. name: Delta-Lambda -- The package version. See the Haskell package versioning policy (PVP) -- for standards guiding when and how versions should be incremented. -- http://www.haskell.org/haskellwiki/Package_versioning_policy -- PVP summary: +-+------- breaking API changes -- | | +----- non-breaking API additions -- | | | +--- code changes with no API change version: 0.3.0.0 -- A short (one-line) description of the package. synopsis: A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn) -- A longer description of the package. description: A demonstration package for the type system delta-lambda (of N.G. De-bruijn) in ~1000 lines of haskell. this is at the moment exceptionally ALPHA level software. no tests for the validity of the type checker (only the type synthesizer), or the parser, or the repl, etc... there are dragons in here (soon to be tamed), and lots of them! todo: profiling, unit testing, formal verification of type correctness adequacy proof of the implemented type system. -- The license under which the package is released. license: MIT -- The file containing the license text. license-file: LICENSE -- The package author(s). author: James M -- An email address to which users can send suggestions, bug reports, and -- patches. maintainer: listofoptions@gmail.com homepage: https://github.com/listofoptions/delta-lambda bug-reports: https://github.com/listofoptions/delta-lambda/issues stability: alpha -- A copyright notice. copyright: Copyright (c) 2016 James M Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. category: Compilers/Interpreters build-type: Simple -- Constraint on the version of Cabal needed to build this package. cabal-version: >=1.10 -- Extra files to be distributed with the package, such as examples or a -- README. extra-source-files: README.md, LICENSE, library/stdlib.dl Tested-With: GHC == 8.0.1 Test-Suite tests type: detailed-0.9 test-module: Tests hs-source-dirs: tests, source build-depends: base >= 4.8 && <4.10 , bytestring >= 0.10.6.0 , mtl >= 2.2 && <2.3 , text >= 1.2.2.0 , Cabal >= 1.9.2 , -- nonstandard packages that are cabal-install-ed cereal >= 0.5 && <0.6 , cpphs >= 1.20 , filepath >= 1.4.0.0 , haskeline >= 0.7 && <0.8 , megaparsec >= 5.0 && <5.3 , options >= 1.2 && <1.3 , parallel >= 3.2 && <3.3 , wl-pprint >= 1.2 default-language: Haskell2010 other-modules: AST, Reduction, Check, Parser, Printer Flag Debug Description: Enable debugging Default: False manual: True source-repository head type: git location: git://github.com/listofoptions/delta-lambda.git executable Delta-Lambda -- .hs or .lhs file containing the Main module. main-is: dl.hs hs-source-dirs: source default-extensions: OverloadedStrings, FlexibleContexts, TypeSynonymInstances, FlexibleInstances, MultiParamTypeClasses, DefaultSignatures, DeriveGeneric, ScopedTypeVariables if !flag(debug) ghc-options: -threaded -with-rtsopts=-N -W -fno-warn-warnings-deprecations -fno-warn-orphans -fwarn-unused-binds else ghc-options: -with-rtsopts=-pa -- Modules included in this executable, other than Main. other-modules: AST, Reduction, Check, Parser, Printer -- LANGUAGE extensions used by modules in this package. -- other-extensions: -- standard haskell platform packages. build-depends: base >= 4.8 && <4.10 , bytestring >= 0.10.6.0 , mtl >= 2.2 && <2.3 , text >= 1.2.2.0 , Cabal >= 1.9.2 , -- nonstandard packages that are cabal-install-ed cereal >= 0.5 && <0.6 , cpphs >= 1.20 , filepath >= 1.4.0.0 , haskeline >= 0.7 && <0.8 , megaparsec >= 5.0 && <5.3 , options >= 1.2 && <1.3 , parallel >= 3.2 && <3.3 , wl-pprint >= 1.2 -- Directories containing source files. -- hs-source-dirs: -- Base language which the package is written in. default-language: Haskell2010