/
Strafunski-ATermLib.cabal
35 lines (29 loc) · 1.19 KB
/
Strafunski-ATermLib.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
31
32
33
34
35
-- Initial ATermLib.cabal generated by cabal init. For further
-- documentation, see http://haskell.org/cabal/users-guide/
name: Strafunski-ATermLib
version: 1.6.0.3
synopsis: An abstract data type designed for the exchange of tree-like data structures
description: Library for dealing with ATerms (annotated terms) in Haskell. See <https://github.com/cwi-swat/aterms> for more information on ATerms.
license: BSD3
license-file: LICENSE
author: Ralf Laemmel, Joost Visser
maintainer: darmanithird@gmail.com
category: Data
build-type: Simple
cabal-version: >=1.8
source-repository head
type: git
location: https://github.com/jkoppel/Strafunski-ATermLib
library
Extensions:
TypeSynonymInstances,
FlexibleInstances,
UndecidableInstances,
OverlappingInstances
exposed-modules: Data.ATerm.AbstractSyntax,
Data.ATerm.Conversion,
Data.ATerm.IO,
Data.ATerm.Lib,
Data.ATerm.ReadWrite
-- other-modules:
build-depends: base <=4.7, containers <=0.6