Change type of ConditionEvaluation
The type of
𝒷 :: c -> Env var val bool -> bool
should rather be something like
𝒷 :: c -> KEnv val e c a -> Env var val bool -> (bool, Env var val bool)
Edited by Marcellus Siegburg
The type of
𝒷 :: c -> Env var val bool -> bool
should rather be something like
𝒷 :: c -> KEnv val e c a -> Env var val bool -> (bool, Env var val bool)