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
36
37
38
39
|
package inky
authors = "Greg Brown"
sourcedir = "src"
options = "--total"
depends = collie, contrib
executable = inky
main = Inky
modules
= Inky
, Inky.Data.Assoc
, Inky.Data.Context
, Inky.Data.Context.Var
, Inky.Data.Fun
, Inky.Data.Irrelevant
, Inky.Data.List
, Inky.Data.Row
, Inky.Data.SnocList
, Inky.Data.SnocList.Elem
, Inky.Data.SnocList.Quantifiers
, Inky.Data.SnocList.Thinning
, Inky.Data.SnocList.Var
, Inky.Data.Thinned
, Inky.Decidable
, Inky.Decidable.Either
, Inky.Decidable.Maybe
, Inky.Parser
, Inky.Term
, Inky.Term.Checks
, Inky.Term.Desugar
, Inky.Term.Parser
, Inky.Term.Pretty
, Inky.Term.Pretty.Error
, Inky.Term.Substitution
, Inky.Type
, Inky.Type.Pretty
|
