systemqfw

system Q F omega elaborator
git clone git://git.rr3.xyz/systemqfw
Log | Files | Refs | Submodules | README | LICENSE

package.yaml (697B)

      1 name: systemqfw
      2 version: 0.1.0.0
      3 author: "Robert Russell"
      4 license: ISC
      5 
      6 ghc-options:
      7   - -Wall
      8   - -Wno-name-shadowing
      9   - -Wno-missing-signatures
     10 
     11 default-extensions:
     12   - DuplicateRecordFields
     13   - NoFieldSelectors
     14   - OverloadedRecordDot
     15 
     16   - BlockArguments
     17   - LambdaCase
     18   - MultiWayIf
     19   - TupleSections
     20   - OverloadedStrings
     21 
     22   - ScopedTypeVariables
     23   - TypeFamilies
     24   - FlexibleContexts
     25   - TypeOperators
     26   - ConstraintKinds
     27 
     28   - FlexibleInstances
     29   - MultiParamTypeClasses
     30   - UndecidableInstances
     31   - GeneralizedNewtypeDeriving
     32 
     33 dependencies:
     34   - base >= 4.18 && < 5
     35   - bytestring
     36   - containers
     37   - mtl
     38   - safe
     39   - sparsec
     40 
     41 executables:
     42   systemqfw:
     43     source-dirs: .
     44     main: Main.hs