diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-25 15:41:36 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-25 15:41:36 +0000 |
| commit | dc600f47e15ff59a46890ca32e5571e24ce00983 (patch) | |
| tree | bd34d0a041737e998924540efe8010f41fc153e6 /src/CC/Name.idr | |
| parent | 2af2175f6b633f717c0fb64e05310a294fe168a8 (diff) | |
Extract Terms and Values to a new module.
Diffstat (limited to 'src/CC/Name.idr')
| -rw-r--r-- | src/CC/Name.idr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CC/Name.idr b/src/CC/Name.idr index f1a66db..4c25f5c 100644 --- a/src/CC/Name.idr +++ b/src/CC/Name.idr @@ -1,6 +1,6 @@ module CC.Name -import Control.Relation +import public Control.Relation import Decidable.Equality |