cabal-version: 2.4 name: inductive-lambda version: 0.1.0.0 license: MIT copyright: 2022 Leon Vatthauer maintainer: srid@srid.ca author: Leon Vatthauer category: Web homepage: https://srid.ca/inductive-lambda -- TODO: Before hackage release. -- A short (one-line) description of the package. synopsis: A template for Haskell projects using Nix -- A longer description of the package. -- description: -- A URL where users can report bugs. -- bug-reports: extra-source-files: LICENSE README.md common shared ghc-options: -Wall -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Wunused-foralls -Wunused-foralls -fprint-explicit-foralls -fprint-explicit-kinds mixins: base hiding (Prelude), relude (Relude as Prelude, Relude.Container.One), relude default-extensions: BangPatterns ConstraintKinds DataKinds DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric DeriveLift DeriveTraversable DerivingStrategies DerivingVia EmptyCase EmptyDataDecls EmptyDataDeriving ExistentialQuantification ExplicitForAll FlexibleContexts FlexibleInstances GADTSyntax GeneralisedNewtypeDeriving ImportQualifiedPost KindSignatures LambdaCase MultiParamTypeClasses MultiWayIf NoStarIsType NumericUnderscores OverloadedStrings PolyKinds PostfixOperators RankNTypes ScopedTypeVariables StandaloneDeriving StandaloneKindSignatures TupleSections TypeApplications TypeFamilies TypeOperators ViewPatterns build-depends: , aeson , async , base >=4 && <5 , data-default , directory , filepath , mtl , optics-core , profunctors , relude >=1.0 , shower , time , with-utf8 , megaparsec hs-source-dirs: src default-language: Haskell2010 executable inductive-lambda import: shared main-is: Main.hs other-modules: Syntax.Parser Syntax.Lexer Syntax.AST