diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-07 17:53:35 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-07 17:53:35 +0100 |
| commit | 9c573f3c0567f2787a89bc60948d91e0c279b963 (patch) | |
| tree | 3053f1c81f4bb00a84019d4723f9a5b2d3cc6ccd | |
| parent | 032a65f07bc5be170b1ccfe2338d4c9285e933c8 (diff) | |
Fix operator fixities and imports for Name.
| -rw-r--r-- | src/Core/Name.idr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Core/Name.idr b/src/Core/Name.idr index ae669b8..a9ffebb 100644 --- a/src/Core/Name.idr +++ b/src/Core/Name.idr @@ -8,10 +8,10 @@ import Data.Stream import Decidable.Equality -import public Text.Bounded +import Text.Bounded import Text.PrettyPrint.Prettyprinter -infix 4 ~~ +infixl 0 ~~ -- Definitions ----------------------------------------------------------------- |