Before revision: System Fω does not permit mappings from values to types (Dependent types), though it does permit mappings from values to values ( abstraction), mappings from types to values ( abstraction) and mappings from types to types ( abstraction at the level of types
After revision: ,)System Fω does not permit mappings from values to types (Dependent types), though it does permit mappings from values to values ( abstraction), mappings from types to values ( abstraction) and mappings from types to types ( abstraction at the level of types