Login
Roast topics
Find topics
Find it!
From:
Types and Kinds
(Uncensored)
subscribe
Planned change to GHC: merging types and kinds | Types and Kinds
https://typesandkinds.wordpress.com/2015/08/19/planned-change-to-ghc-merging-types-and-kinds/
links
backlinks
Tagged with:
haskell
ghc
dependent types
Roast topics
Find topics
Roast it!
I’m proud to announce that I’m nearing completion on a major patch to GHC, merging types and kinds. This patch has been in development since late 2012 (!), with many interruptions in the meantime. …
