diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-07-18 17:45:53 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-07-18 17:45:53 -0500 |
| commit | d91f74bce9a8eb1dd38f74de5fae597bde54df5a (patch) | |
| tree | a334149c6434dbce0b89097e26dfc929ffdef2c6 /Data/Hypergraph/Base.agda | |
| parent | 2184a8f47f72a415e3387a9aaca042dd63c80fd9 (diff) | |
Add Hypergraph setoid
Diffstat (limited to 'Data/Hypergraph/Base.agda')
| -rw-r--r-- | Data/Hypergraph/Base.agda | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Data/Hypergraph/Base.agda b/Data/Hypergraph/Base.agda index e43cbce..5cf5388 100644 --- a/Data/Hypergraph/Base.agda +++ b/Data/Hypergraph/Base.agda @@ -9,7 +9,7 @@ open import Data.List.Base using (List; map) open import Data.Nat.Base using (ℕ) open import Data.String using (String; unlines) -import Data.List.Sort.MergeSort as MergeSort +import Data.List.Sort as Sort record Hypergraph (v : ℕ) : Set where field @@ -19,7 +19,7 @@ sortHypergraph : {v : ℕ} → Hypergraph v → Hypergraph v sortHypergraph {v} H = record { edges = sort edges } where open Hypergraph H - open MergeSort decTotalOrder using (sort) + open Sort decTotalOrder using (sort) showHypergraph : {v : ℕ} → Hypergraph v → String showHypergraph record { edges = e} = unlines (map showEdge e) |