@@ -43,8 +43,8 @@ type role Env nominal
43-- | A mutable, strict (elements are kept in weak head normal form), extensible
43-- | A mutable, strict (elements are kept in weak head normal form), extensible
44-- record indexed by effect data types.
44-- record indexed by effect data types.
46−-- Supports forking, i.e. introducing branches for encapsulation of
46+-- Supports forking, i.e. introduction of local branches for encapsulation of
47−-- interpreter-local data.
47+-- data specific to effect interpreters.
49-- Offers very good performance characteristics:
49-- Offers very good performance characteristics: