Eric Walker removed Higher-kinded types (HKT) from Software concepts, architecture, design patterns, conventions and style

Eric Walker placed Higher-kinded types (HKT) under Type system

Eric Walker updated the time prefix for Hindley–Milner type system to be "1969"

Eric Walker updated the time prefix for Hindley–Milner type system to be "2024"

Eric Walker added Hindley–Milner type system to Type system

Eric Walker added Type system - Wikipedia to Type system

Eric Walker added Type system to Software concepts, architecture, design patterns, conventions and style