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
|
package inky
authors = "Greg Brown"
sourcedir = "src"
options = "--total"
depends = collie, contrib, flap
executable = inky
main = Inky
modules
= Inky
, Inky.Data.Fun
, Inky.Data.Row
, Inky.Data.Thinned
, Inky.Term
, Inky.Term.Checks
, Inky.Term.Compile
, Inky.Term.Desugar
, Inky.Term.Parser
, Inky.Term.Pretty
, Inky.Term.Pretty.Error
, Inky.Term.Recompute
, Inky.Type
, Inky.Type.Pretty
, Inky.Type.Substitution
|
