Learn You a Haskell for Great Good

Re:Learn You a Haskell for Great Good by bor0 on Tuesday August 21, 2018 @06:11PM (#17814288)

Learning Idris will definitely alter the way you think about programming and make you a better programmer, even if you don't program in it on a daily basis.

[ Parent | on HN ]

Re:Learn You a Haskell for Great Good by zadler on Tuesday August 21, 2018 @11:36PM (#17816097)

Can you give a little more info? Does it offer alot over Haskell?

[ Parent | on HN ]

Re:Learn You a Haskell for Great Good by andrzejsz on Wednesday August 22, 2018 @04:59AM (#17817336)

Dependent types

[ Parent | on HN ]