diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-06 16:40:13 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-12-06 16:40:13 -0600 |
| commit | c4367035ec0638d5639157e98e6756d3779aeee5 (patch) | |
| tree | 759df27c7cc7fac5a2e9a4324749d8d046841077 /FinMerge.agda | |
| parent | a643b7e119c5f086c67205072afaed3a1da2252e (diff) | |
Move FinMerge utilites
Diffstat (limited to 'FinMerge.agda')
| -rw-r--r-- | FinMerge.agda | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/FinMerge.agda b/FinMerge.agda index d7b3f0b..2210e2f 100644 --- a/FinMerge.agda +++ b/FinMerge.agda @@ -13,8 +13,9 @@ open import Relation.Binary.PropositionalEquality.Properties using (module ≡-R open import Function using (id ; _∘_ ; _$_) open import Data.Maybe.Base using (Maybe; just; nothing; fromMaybe; map) -open import Util using (_<_<_; _<_≤_; toℕ<; Ordering; less; equal; greater; compare) +open import FinMerge.Util using (_<_≤_; Ordering; compare) +open Ordering private variable |