summaryrefslogtreecommitdiff
path: root/src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs')
-rw-r--r--src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs b/src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs
index ed73e66..8d70b7b 100644
--- a/src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs
+++ b/src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs
@@ -1,8 +1,8 @@
-{-# LANGUAGE DeriveFunctor #-}
-{-# LANGUAGE DoAndIfThenElse #-}
-{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE DeriveFunctor #-}
+{-# LANGUAGE DoAndIfThenElse #-}
+{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
-{-# LANGUAGE TupleSections #-}
+{-# LANGUAGE TupleSections #-}
-- | Directed graphs (can of course simulate undirected graphs).
--