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)