diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2024-10-28 15:34:16 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2024-10-28 15:34:16 +0000 |
| commit | e258c78a5ab9529242b4c8fa168eda85430e641e (patch) | |
| tree | 939ced9a71c94736222d05616a46dfc7292accd0 /inky.ipkg | |
| parent | d926ce9f2d1144f329598a30b3ed2e48899519b2 (diff) | |
Make everything relevant.
Too few proofs were relevant. Now they are.
Diffstat (limited to 'inky.ipkg')
| -rw-r--r-- | inky.ipkg | 21 |
1 files changed, 16 insertions, 5 deletions
@@ -10,14 +10,25 @@ executable = inky main = Inky modules - = Data.Maybe.Decidable - , Data.These.Decidable - , Inky - , Inky.Context + = Inky + , Inky.Data.Assoc + , Inky.Data.Context + , Inky.Data.Context.Var + , Inky.Data.Fun + , Inky.Data.Irrelevant + , 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.Parser , Inky.Term.Pretty - , Inky.Thinning , Inky.Type , Inky.Type.Pretty |