The Netherlands, especially Nijmegen, developed Clean, a language similar to Haskell, but Haskell gained more traction due to better exposure. This foundational research in programming semantics is key to Cardano, and efforts are being made to highlight it.