rename/docstrings

This commit is contained in:
Seungheon Oh 2022-05-25 11:45:03 -05:00
parent 7ee7d661ef
commit 7a599ffa35
10 changed files with 67 additions and 13 deletions

View file

@ -17,7 +17,7 @@ import Spec.Stake qualified as Stake
import Spec.Treasury qualified as Treasury
import Spec.Utils qualified as Utils
import Spec.Spec (group, toTestTree)
import Spec.Specification (group, toTestTree)
-- | The Agora test suite.
main :: IO ()