Hacker News new | ask | show | jobs
by Tainnor 568 days ago
what does that have to do with purity?
1 comments
agnishom 568 days ago
Nothing, but arguably a language with dependent types is more Haskell than Haskell
link