Tidy up code (#112)

* Tidy up code

* Update README install

Author: berewt

README.md

@@ -101,14 +101,11 @@ with `nix run github:replicatest/replica`.
 
 #### Requirements
 
-- [idris2](https://idris-lang.org) (v0.6.0);
+- [idris2](https://idris-lang.org) (v0.8.0);
 - [git](https://git-scm.com);
 - [dhall][] and [dhall-to-json][].
 
-Idris2 dependencies:
-
-- the [`papers`](https://github.com/idris-lang/Idris2/tree/main/libs/papers)
-  package.
+Idris2 dependencies: None
 
 #### Steps
 

documentation/README_JSON.md

@@ -101,13 +101,10 @@ You can either reuse it as an input to your own `flake`s or use it directly with
 
 #### Requirements
 
-- [idris2](https://idris-lang.org) (v0.6.0);
+- [idris2](https://idris-lang.org) (v0.8.0);
 - [git](https://git-scm.com);
 
-Idris2 dependencies:
-
-- the [`papers`](https://github.com/idris-lang/Idris2/tree/main/libs/papers)
-  package.
+Idris2 dependencies: None.
 
 ```shell
 # clone repo

src/Replica/App/Log.idr

@@ -5,7 +5,6 @@ import Control.App.Console
 
 import Replica.App.Replica
 import Replica.Option.Global
-import Replica.Other.Decorated
 
 %default total
 

src/Replica/App/Run.idr

@@ -35,7 +35,7 @@ import Replica.Other.Validation
 
 %default total
 
--- Create the folders needed by Replica (usually ./.replica/test and ./.replica/log)
+-- Create the folders needed by Replica (with default settings ./.replica/test and ./.replica/log)
 prepareReplicaDir : SystemIO (SystemError :: e) =>
   FileSystem (FSError :: e) =>
   Has [ State RunContext RunCommand
@@ -64,6 +64,7 @@ prepareReplicaDir = do
 
 data RunType = Partial | Total
 
+-- Specifies the tests to run
 data RunningPlan =
     None
   | Running RunType SuitePlan TestPlan
@@ -111,7 +112,6 @@ runAllTests plan = do
   batchTests [] plan
   where
 
-
     handleInaccessibleTests :
       List (Test, Either TestError TestResult) -> SuitePlan ->
       App e (Maybe SuitePlan, List (Test, Either TestError TestResult))

src/Replica/App/Set.idr

@@ -40,7 +40,6 @@ updateConfig = updateConfig' []
       else updateConfig' (x :: xs) ys s
 
 
-
 export
 setReplica :
   FileSystem (FSError :: e) =>

src/Replica/Command/Help.idr

@@ -13,6 +13,8 @@ import public Replica.Help
 import Replica.Option.Types
 import Replica.Other.Validation
 
+%default total
+
 export
 help : Help
 help = MkHelp