blob: 2301466894ad4bd7b76bae67af3337646f11c8a8 (
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 = 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
|
