Hacker News new | ask | show | jobs
by agnishom 569 days ago
It doesn't have great support for Dependent Types
1 comments
Tainnor 569 days ago
what does that have to do with purity?
link
agnishom 569 days ago
Nothing, but arguably a language with dependent types is more Haskell than Haskell
link