| .. |
|
Graph
|
35d8e66af4
Added a Pretty instance for N.
|
před 3 roky |
|
Maybe
|
108a7fd9eb
[ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function.
|
před 6 roky |
|
AssocList.hs
|
d4013d4ebd
More fixed un-disabled warnings
|
před 4 roky |
|
Bag.hs
|
108a7fd9eb
[ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function.
|
před 6 roky |
|
BiMap.hs
|
8e7c540ad3
Made Agda.Utils.BiMap more general.
|
před 3 roky |
|
Cluster.hs
|
62638020d7
Made the code in Agda.Utils.Cluster more general.
|
před 2 roky |
|
Either.hs
|
1addd74b74
[ closed #2861 ] Migrated internal tests to `agda-tests` test-suite.
|
před 6 roky |
|
Favorites.hs
|
0ef1d2125b
[ Utils.Singleton ] new class Collection for building collections
|
před 4 roky |
|
FileName.hs
|
48a57e519e
[ cosmetics #4678 ] Utils.Filename contained a hardwired "C:"
|
před 4 roky |
|
IntSet.hs
|
3543ef3df1
[ ghc-9.0 ] enable warning compat-unqualified-imports
|
před 3 roky |
|
List.hs
|
3cdac2280e
[ #5070 ] Utils.List.uniqOn: keep first occurrences of equivalent elements
|
před 3 roky |
|
ListT.hs
|
d4013d4ebd
More fixed un-disabled warnings
|
před 4 roky |
|
Monoid.hs
|
2ac14acdda
[ #3663 ] Fixed Arbitrary instances for MaxNat and Offset.
|
před 5 roky |
|
NonEmptyList.hs
|
36b94482a4
[ #4235 ] Also replace NonemptyList with NonEmpty in internal tests
|
před 5 roky |
|
PartialOrd.hs
|
3543ef3df1
[ ghc-9.0 ] enable warning compat-unqualified-imports
|
před 3 roky |
|
Permutation.hs
|
3543ef3df1
[ ghc-9.0 ] enable warning compat-unqualified-imports
|
před 3 roky |
|
RangeMap.hs
|
863bcdbdca
[ #5326 ] Changed the representations of highlighting information.
|
před 3 roky |
|
SmallSet.hs
|
d4013d4ebd
More fixed un-disabled warnings
|
před 4 roky |
|
Three.hs
|
108a7fd9eb
[ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function.
|
před 6 roky |
|
Trie.hs
|
108a7fd9eb
[ #2861 ] tasty-quickcheck 0.9.2 added the `testProperties` function.
|
před 6 roky |
|
Warshall.hs
|
3543ef3df1
[ ghc-9.0 ] enable warning compat-unqualified-imports
|
před 3 roky |
Nils Anders Danielsson
62638020d7
Made the code in Agda.Utils.Cluster more general.