Login
Roast topics
Find topics
Find it!
From:
Types and Kinds
(Uncensored)
subscribe
Dependent types in Haskell: Progress Report | Types and Kinds
https://typesandkinds.wordpress.com/2016/07/24/dependent-types-in-haskell-progress-report/
links
backlinks
Roast topics
Find topics
Roast it!
It was drawn to my attention that there is an active Reddit thread about the future of dependent types in Haskell. (Thanks for the heads up, @thomie!) Instead of writing a long response inline in R…
