git.iko.soy/Idris-dev
on master help sign in
Fix typo in Dep.Eff documentation.
commite7c7faa7f38d92bfea501c325c092161b427bd62 authorStevan Andjelkovic <stevan.andjelkovic@strath.ac.uk> dateTue 19 Sep 2017, 16:00 (9 years ago) parent7e800ca
1 file changed+1−1
compare with master
unifiedsplit
docs/effects/state.rst+1−1
docs/effects/state.rst+1−1
@@ -452,7 +452,7 @@ There are the following three versions:
452452 TransEff.Eff : (t : Type) -> (input_effs : List EFFECT) ->
453453 (output_effs : List EFFECT) -> Type
454454 DepEff.Eff : (t : Type) -> (input_effs : List EFFECT) ->
455− (output_effs_fn : x -> List EFFECT) -> Type
455+ (output_effs_fn : t -> List EFFECT) -> Type
456456
457457So far, we have used only the first version, ``SimpleEff.Eff``, which
458458is defined as follows: