Re:Notes on Idris (2017)
by kqr on Sunday June 10, 2018 @09:25AM
(#17278001)
Not more imperative. Just still imperative, but now using features Haskell users wish were available in other imperative languages.
[ Parent
| on HN ]
There are no comments on this comment yet.