| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Agda.Utils.Graph.AdjacencyMap.Unidirectional.Tests
Description
Properties for graph library.
Documentation
All tests as collected by quickCheckAll.
Using quickCheckAll is convenient and superior to the manual
enumeration of tests, since the name of the property is
added automatically.