Hacker News new | ask | show | jobs
by agnishom 568 days ago
Nothing, but arguably a language with dependent types is more Haskell than Haskell