-
Notifications
You must be signed in to change notification settings - Fork 2
/
liquidhaskell-tutorial.cabal
30 lines (28 loc) · 1.03 KB
/
liquidhaskell-tutorial.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
-- Initial liquidhaskell-tutorial.cabal generated by cabal init. For
-- further documentation, see http://haskell.org/cabal/users-guide/
name: liquidhaskell-tutorial
version: 0.1.0.0
synopsis: Some examples for using Liquid Haskell
-- description:
-- license:
license-file: LICENSE
author: Philipp Kant
maintainer: [email protected]
-- copyright:
-- category:
build-type: Simple
-- extra-source-files:
cabal-version: >=1.10
library
hs-source-dirs: examples
exposed-modules: ByteBuffer
, CircularBuffer
-- other-modules:
-- other-extensions: ScopedTypeVariables, DeriveDataTypeable, LambdaCase, RecordWildCards, FlexibleContexts, CPP
build-depends: base >=4.8 && <4.9
, lifted-base >=0.2.3.3
, monad-control >=0.3.3.0
, transformers >=0.4 && <0.5
, bytestring >=0.10 && <0.11
-- hs-source-dirs:
default-language: Haskell2010