summaryrefslogtreecommitdiff
path: root/inky.ipkg
blob: 8a86c56af5a2d3f45986965d33644fdb93fcabbf (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
package inky
authors = "Greg Brown"
sourcedir = "src"

options = "--total"

depends = collie, contrib

executable = inky
main = Inky

modules
  = Data.Maybe.Decidable
  , Data.These.Decidable
  , Inky
  , Inky.Context
  , Inky.Parser
  , Inky.Term
  , Inky.Term.Parser
  , Inky.Term.Pretty
  , Inky.Thinning
  , Inky.Type
  , Inky.Type.Pretty